Forschungsschwerpunkte der Arbeitsgruppe
Formale Konzepte
Semantik von Logikprogrammen
Deduktionssysteme
Ontologische Grundlagen der Wissenspräsentation
Metatheorie formalisierter Theorien
Semantik von Logikprogrammen
Logikprogramme bestehen aus Fakten und Regeln. Wie in Datenbanken,
will man auch in Logikprogrammen die Negation auf der Basis der
"Closed-World Assumption" behandeln. Im Gegensatz zu Datenbanken
erweist sich die CWA jedoch in Logikprogrammen als großes
Problem. Modelltheoretisch geht es darum, ein Präferenzkriterium
zu finden, das genau die durch die CWA intendierten Modelle definiert.
Eine solche Definition sollte nicht von einer speziellen Regel-Syntax
abhängen, sondern für möglichst viele
Verallgemeinerungen normaler Logikprogramme, wie z.B. disjunktive
Logikprogramme, gelten.
- Publikationen der Arbeitsgruppe (Auswahl)
- H. Herre: Negation and Constructivity in Logic Programming;
Journal of
New Generation Computer Systems, Heft 4 (1988),S.295-305
- H. Herre: Das Inferenzproblem in der logischen Programmierung,
in:
Mathematische Grundlagen der Künstlichen Intelligenz (Hrsg.
Grabowski,J.,K.P. Jantke, H. Thiele), Akademie-Verlag, Berlin 1989,
S.161 - 187
- H. Herre: Constructive Negation in Logic Programming,
Logic Colloqium
1990, Helsinki, Abstracts: S.38 (and
Journal of Symbolic Logic,
S.1127, 1991)
- H. Herre: Nonmonotonic Reasoning and Logic Programs; in:
Proceedings of the first Workshop on Nonmonotonic and Inductive
Logic;(Ed. J. Dix et al.); LNCS 543, S. 38-58
- H. Herre: Non-monotonic Reasoning for Clause Logic Programming
in a general
setting, GWAI'91, 15. Fachtagung für Künstliche Intelligenz,
Informatik-Fachberichte 285 (1991), 43-48,
- H. Herre: Semantics of Nonmonotonic Reasoning in Logic
Programming, in:
Nonclassical Logic and Information Processing; LNCS 619, 1992,
p. 104-124,
- H. Herre: Disjunctive Logic Programming, Constructivity and
Strong Negation,
(mit D. Pearce (2)) Jelia '92, LNCS 633 (1992), S. 391-410,
- H. Herre, R. Dyckhoff und P. Schroeder-Heister: Extensions
of Logic Programming; 5th International Workshop, ELP'96,
Leipzig; LNAI vol. 1050
-
H. Herre und G. Wagner: Stable Models Are Generated by a
Stable Chain, Journal of Logic Programming, 30(2): 165-177, 1997
-
J. Engelfriet und H. Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults
-
H. Herre und G. Wagner: Semantical Foundation of Extended Generalized Logic Programs
-
J.J.Alferes, H.Herre und L.M. Pereira: Partial Models of Extended Generalized Logic Programs
-
Gerd Wagner: Vivid Agents - How they Deliberate, How They React, How They Are
Verified.
Langfassung von G. Wagner: A Logical And Operational Model of Scalable
Knowledge- And Perception-Based Agents, in W. Van de Velde
and J. Perram (Eds.), Agents Breaking Away, Proc. of MAAMAW'96,
Springer Lecture Notes in Artificial Intelligence 1038, 1996.
- Gerd Wagner: Conceptual Foundation of Artificial Agents, Habilitation Thesis, 1996
-
Gerd Wagner: VIVA Knowledge-Based Agent Programming,
Preprint.
-
Gerd Wagner: Knowledge Systems: Artificial Agents, and Computational Dialectics, Technical Report, Univ. of Leipzig, 1999
Preprint.
- Herre, H., Hummel, A. 2009. Stationary Generated Models of Generalized
Logic Programs. Proceedings of the 23rd Workshop on (Constraint) Logic
Programming (WLP-2009) Potsdam
- Herre, H., Hummel, A. 2009. A Paraconsistent Semantics for Generalized
Logic Programs. Proceedings of the 23rd Workshop on (Constraint) Logic
Programming (WLP-2009) Potsdam
Deduktionssysteme
- Publikationen der Arbeitsgruppe (Auswahl)
- Heinrich Herre, David Pearce: Disjunctive Logic Programming,
Constructivity and Strong Negation. Jelia'92, LNCS 633, p.391-410
-
Heinrich Herre: Constructive Proof Systems. Report 1993
-
Heinrich Herre, Jens Dietrich: Outline of Non-monotonic Model Theory.
Report 1994
-
H. Herre und J. Dietrich: Contributions to the Theory of Nonmonotonic Inference Systems
-
H. Herre und G. Wagner: Declarative Semantics of Deduction Rules with Two Kinds of Negation
- H. Herre: Compactness Properties of Nonmonotonic Inference
Operations; Jelia'94 (York), LNCS vol.838,p.19-33
- H. Herre: Generalized Compactness of Nonmonotonic Inference
Operations, Journal of Applied Non-classical logic, 1995,
S. 121-135
- H. Herre, J. Engelfriet, J. Treur: Nonmonotonic Belief State Frames and Reasoning Frames
, Proc. of ECSQARU'95, LNAI,
vol. 946, 189-196, Springer
- Jens Dietrich: Deductive Bases of Nonmonotonic Inference
Operations .Report 1995
- Jens Dietrich: Inferenzframes. Dissertation 1995.
- H. Herre: Semantical Frames and Generalized Logic Programs
Proc. LMPS'95, Florenz, S. 105
- H. Herre, J. Engelfriet, J. Treur: Nonmonotonic Reasoning
with Multiple Belief Sets; FAPR'96 (Eds. D. Gabbay, Ohlbach).
LNAI 1085 (1996), 331-344
-
Jens Dietrich: On the Compactness of Nonmonotonic Logics. Report 1996.
- J. Engelfriet, H. Herre, Generated Preferred Models and Extensions of
Nonmonotonic Systems, NAIC'98, Proc. of the 10th Netherlands/Belgium
Conference on Artificial Intelligence,
(eds. H. La Poutre, J.v.den Herik), p.287-288
-
Ho Ngoc Duc: Reasoning about Rational, but Not Logically
Omniscience Agents (Extended Abstract). In Dov M. Gabbay and
Hans Jürgen Ohlbach (Eds.), Practical Reasoning, Proc. of the
International Conference on Formal and Applied Practical Reasoning, FAPR'96.
Langfassung zu erscheinen in: Journal of Logic and Computation.
- G. Wagner. Handling Inconsistency in Knowledge Systems. Special Issue of the
Journal of Applied Non-Classical Logic 7:1-2 (1997)
- Ho Ngoc Duc: Resource-Bounded Reasoning about Knowledge, Dissertation, 1998
-
J. Engelfriet, H. Herre und J. Treur: Nonmonotonic Reasoning with Multiple Belief Sets
- H. Herre, J. Jaspars, G. Wagner.
Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based
Reasoning; in D. M. Gabbay and H. Wansing (eds.) What is Negation?, p.121-159, 1999, Kluwer Academic Publishers.
Ontologische Grundlagen der Wissenspräsentation
Die Forschung auf dem Gebiet der Ontologie gewinnt zunehmend an Bedeutung für die Wissensmodellierung, für die semantische Fundierung der Wissensrepräsentation und für die Entwicklung von Metamodellen im Bereich der praktischen Anwendungen. Für die Grundlegung dieses modernen Forschungsgebiets ist es von Bedeutung, die gemeinsamen wissenschaftlichen Prinzipien und Methoden herauszuarbeiten, die sich aus den gegenwärtigen Werkzeugen, Methodologien und den Anwendungen ergeben. Von besonderem Interesse sind Fragestellungen und Probleme der Konzeptualisierung von Wissen, der Wissensrepräsentation, der Verallgemeinerung und Vertiefung der axiomatisch-deduktiven Methode, der deskriptiven Metaphysik, der Semantik der natürlichen Sprache und der praktischen Anwendungen im Bereich der Medizin.
- Publikationen der Arbeitsgruppe (Auswahl)
- Herre, H., Hoehndorf, R., Kelso, J., Loebe, F. Schulz, S. 2011. OBML- Ontologies in Biomedicine and Life Sciences. BMC Biomedical Semantics
- Uciteli, A., Gross, S., Herre, H. 2011. An Ontologically founded Architecture for Information Systems in Clinical and Epidemiological Research. BMC Biomedical Semantics.
- Neumuth, D., Loebe, F., Herre, H., Neumuth, T. 2011. Modeling surgical processes: A four-level translational approach. Artificial Intelligence in Medicine Vol. 51(3).
- Hoehndorf, R., Ngonga Ngomo, A.-C., Kelso, J. 2010. Applying the functional abnormality ontology pattern to anatomical functions. Journal of Biomedical Semantics Vol. 1(4).
- Hoehndorf, R., Oellrich, A., Herre, H., Rebholz-Schuhmann, D. 2010. OWLDEF: using OWL reasoning to develop, maintain and enrich OBO ontologies.
- Hartung, M., Loebe, F., Herre, H., Rahm, E. 2010. Management of Evolving Semantic Grid Metadata Within a Collaborative Platform. Information Sciences - Special Issue on Intelligent Distributed Information Systems Vol. 180(10), pp. 1837-1849, Amsterdam:Elsevier
- Hoehndorf, R., Oellrich, A., Dumontier, M., Kelso, J., Rebholz-Schuhmann, D., Herre, H. 2010. Relations as patterns: bridging the gap between OBO and the OWL. BMC - Bioinformatics Vol. 11 (441).
- Herre, H. 2010. The Ontology of Medical Terminological Systems - Towards the Next Generation of Biomedical Ontologies. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 2, Berlin: Springer
- Herre, H. 2010. The Ontology of Mereological Systems: A Logical Approach. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 1, Berlin: Springer
- Herre, H. 2010. General Formal Ontology (GFO) : A Foundational Ontology for Conceptual Modelling. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 2, Berlin: Springer
- Hoehndorf, R., Prüfer, K. & Kelso, J. 2010. Biomedical Ontologies. In: Poli, R. & Obrst, L. (ed.) Theory and Applications of Ontology. Vol. 2, Berlin: Springer.
- Hoehndorf, R., Kelso, J., Herre, H. 2009. The ontology of biological
sequences. BMC - Bioinformatics Vol. 10 (377)
- Stausberg, J., Löbe, M., Verplancke, P., Drepper, J., Herre, H.,
Löffler, M. 2009. Foundations of a Metadata Repository for Databases of
Registers and Trials. In: Adlassnig, K.-P. et al (ed.) Medical
Informatics in a United and Healthy Europe (Proceedings of MIE 2009).
Vol. 150 (Studies in Health Technology and Informatics), Amsterdam: IOS
Press
- Hoehndorf, R., Kelso, J., Herre, H. 2009. A Formal Ontology of
Sequences. Nature Precedings 10.1038/npre.2009.35372
- Burek, P., Herre, H., Loebe, F. 2009. Ontological Analysis of Functional
Decompositions. Proceedings of The 8th International Conference on
Software Methodologies, Tools and Techniques (SOMET-2009
- Hoehndorf, R., Loebe, F., Bacher, J., Backhaus, M., Gregorio Jr., S.,
Prüfer, K., Visagie, J., Uciteli, A., Herre, H., Kelso, J. 2009. BOWIKI:
an ontology-based wiki for annotation of data and integration of
knowledge in biology. BMC - Bioinformatics Vol. 10 (5)
- Hoehndorf, R., Ngonga Ngomo, A.-C., Herre, H. 2009. Developing
Consistent and Modular Software Models with Ontologies. Proceedings of
The 8th International Conference on Software Methodologies, Tools and
Techniques (SOMET-2009), to appear 2009.
- Hartung, M., Loebe, F., Herre, H., Rahm, E. 2009. Management of Evolving
Semantic Grid Metadata Within a Collaborative Platform. Information
Sciences -- Special Issue on "Intelligent Distributed Information
Systems", to appear 2009.
- Hoehndorf, R., Loebe, F., Poli, R., Herre, H. & Kelso, J. 2008. GFO-Bio:
A biological core ontology. Applied Ontology Vol. 3(4), pp. 219-227.
- Loebe, F. & Herre, H. 2008. Formal Semantics and Ontologies: Towards an
Ontological Account of Formal Semantics. In: Eschenbach, C. & Gröninger,
M. (ed.) Formal Ontology in Information Systems: Proceedings of the 5th
International Conference, FOIS 2008, Saarbr\374cken, Germany, Oct 31-Nov 3.
pp. 49-62. Amsterdam: IOS Press.
- Hartung, M., Loebe, F., Herre, H. & Rahm, E. 2008. A Platform for
Collaborative Management of Semantic Grid Metadata. In: Badica, C.,
Mangioni, G., Carchiolo, V. & Burdescu, D.D. (ed.) Intelligent
Distributed Computing, Systems and Applications: Proceedings of the 2nd
International Symposium on Intelligent Distributed Computing, IDC 2008,
Catania, Italy. Studies in Computational Intelligence Vol. 162, pp.
115-125. Berlin: Springer.
- Hoehndorf, R., Bacher, J., Backhaus, M., Gregorio, S.E.J., Loebe, F.,
Prüfer, K., Uciteli, A., Visagie, J., Herre, H. & Kelso, J. 2008.
BOWiki: An ontology-based wiki for annotation of data and integration of
knowledge in biology. In: Lord, P., Shah, N., Sansone, S. & Cockerill,
M. (ed.) Proceedings of the 11th Annual Bio-Ontologies Meetings,
Toronto, Canada, Jul 20.
- Auer, S. & Herre, H. 2007. A Versioning and Evolution Framework for RDF
Knowledge Bases. In: Voronkov, A. & Virbitskaite, I. (ed.) Perspectives
of Systems Informatics: Revised Papers of the Sixth International Andrei
Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, Jun 27-
- Hoehndorf, R., Loebe, F., Kelso, J. & Herre, H. 2007. Representing
default knowledge in biomedical ontologies: Application to the
integration of anatomy and phenotype ontologies. BMC Bioinformatics Vol.
8, pp. 377.1-377.12.
- Backhaus, M., Kelso, J., Bacher, J., Herre, H., Hoehndorf, R., Loebe, F.
& Visagie, J. 2007. BOWiki --- a collaborative annotation and ontology
curation framework [demo description]. In: Noy, N., Alani, H., Stumme,
G., Mika, P., Sure, Y. & Vrandecic, D. (ed.) Proceedings of the Workshop
on Social and Collaborative Construction of Structured Knowledge (CKC
2007) at the 16th International World Wide Web Conference (WWW2007),
Banff, Canada, May 8. CEUR Workshop Proceedings Vol. 273. Aachen,
Germany: CEUR-WS.org.
- Auer, S. & Herre, H. 2007. RapidOWL --- an Agile Knowledge Engineering
Methodology. In: Voronkov, A. & Virbitskaite, I. (ed.) Perspectives of
Systems Informatics: Revised Papers of the Sixth International Andrei
Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, Jun 27-30.
Lecture Notes in Computer Science Vol. 4378, pp. 424-430. Berlin: Springer.
- Hoehndorf, R., Prüfer, K., Backhaus, M., Herre, H., Kelso, J., Loebe,
F.
& Visagie, J. 2006. A proposal for a gene functions wiki. In: Meersman,
R., Tari, Z. & Herrero, P. (ed.) On the Move to Meaningful Internet
Systems 2006: OTM 2006 Workshops: Proceedings, Montpellier, France, Oct
29 - Nov 3, Part I [workshop title: Knowledge Systems in Bioinformatics,
KSinBIT 2006]. Lecture Notes in Computer Science Vol. 4277, pp. 669-678.
Berlin: Springer.
- Burek, P., Hoehndorf, R., Loebe, F., Visagie, J., Herre, H. & Kelso, J.
2006. A top-level ontology of functions and its application in the Open
Biomedical Ontologies. Bioinformatics Vol. 22(14), pp. e66-e73.
- Herre, H. & Heller, B. 2006. Semantic Foundations of Medical Information
Systems Based on Top-Level Ontologies. Journal of Knowledge-Based
Systems Vol. 19(2), pp. 107-115.
- Heller, B., Herre, H. & Lippoldt, K. 2004. Domain-Specific Concepts and
Ontological Reduction within a Data Dictionary Framework. In: Rahm, E.
(ed.) Data Integration in the Life Sciences (DILS 2004), 25.-26. M\344rz,
Leipzig. Lecture Notes in Bioinformatics, pp. 47-62. Heidelberg: Springer.
- Guizzardi, G., Wagner, G. & Herre, H. 2004. On the Foundations of UML as
an Ontology Representation Language. In: Motta, E., Shadbolt, N., Stutt,
A. & Gibbins, N. (ed.) Engineering Knowledge in the Age of the Semantic
Web: Proceedings of the 14th International Conference (EKAW 2004),
Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science Vol.
3257, pp. 47-62. Berlin: Springer.
- Heller, B. & Herre, H. 2004. Ontological Foundations of Medical
Information Systems. In: Fujita, H. & Gruhn, V. (ed.) New Trends in
Software Methodologies, Tools and Techniques: Proceedings of the Third
SoMeT_W04. Frontiers in Artificial Intelligence and Applications Vol.
111, pp. 3-17. Amsterdam: IOS Press.
- H. Herre: Semantical Completeness of Model-Based Diagnosis;
Proceedings of the
European Symposium on the Validation and Verification of
Knowledge
Based Systems; EUROVAV'93 (24.-25. März, 1993)
(eds. J. Cardenosa, P.Meseguer), 217-130,
- H. Herre: Contributions to Nonmonotonic Model Theory;
in: Non-Classical
Logics in Computer Science (ed. V. Marek, A. Nerode, P.H. Schmitt),
Dagstuhl-Seminar-Report 73 (1993), S. 14,
- H. Herre: Theoretical Aspects of Logic-Based Knowledge-Processing;
in Trends in Theoretical Computer Science, Schriftenreihe der
Österreichischen Computer Gesellschaft, Bd. 89, 1996, 9-37
- R. Albrecht, H. Herre: Trends in Theoretical Informatics;
Schriftenreihe der Österreichischen Computer Gesellschaft; Bd. 89,
1996, R. Oldenbourg Wien München 1996
-
W. Degen, B. Heller, H. Herre: Contributions to the Ontological Foundation of Knowledge Modelling, Report Nr.2 (2001)
-
W. Degen, B. Herre: What is an Upper Level Ontology
-
W. Degen, B. Heller, H. Herre und B. Smith: GOL: Towards an Axiomatized Upper Level Ontology
- B. Heller, H. Herre: GOL: A General Ontological Language, Ontological Spring, Naumburg, S.182- 203
- G. Guizzardi, H. Herre, G. Wagner: On the General Ontological Foundatioin of Conceptual Modeling; ER 2002, LNCS vol. 1937, p.97-112
- G. Guizzardi, H. Herre, G. Wagner: Towards ontological foundations for
conceptual models. ODBASE 2002, LNCS vol. 2519, p.1100-1117
- B. Heller, H. Herre: Ontological Categories in GOL
- Auer, S. & Herre, H. 2006. RapidOWL -- an Agile Knowledge Engineering Methodology. In: Proceedings of the Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30.
- Herre, H., Heller, B. 2006. Semantic Foundations of Medical Information Systems Based on Top-Level Ontologies. Journal of Knowledge-Based Systems 19(2):107-112
- Auer, S. Herre, H. 2006. A Versioning and Evolution Framework for RDF Knowledge Bases. In: Proceedings of the Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30.
- Burek, P.; Hoehndorf, R.; Loebe, F.; Visagie, J.; Herre, H. & Kelso, J. 2006. A top-level ontology of functions and its application in the Open Biomedical Ontologies. [Accepted for ISMB 2006, to appear in Bioinformatics]
- Herre, H. & Heller, B. 2005. Ontology of Time and Situoids in Medical Conceptual Modeling. In: Miksch, S.; Hunter, J. & Keravnou, E.T. (ed.) Proceedings of the 10th Conference on Artificial Intelligence in Medicine (AIME 05), Jul 23 - 27, Aberdeen, Scotland. Lecture Notes in Computer Science, Vol. 3581, p. 266-275. Berlin: Springer.
- Herre, H. & Loebe, F. 2005. A Meta-ontological Architecture for Foundational Ontologies. In: Meersman, R. & Tari, Z. (ed.) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: Proceedings of the OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, Oct 31 - Nov 4, 2005 (Part II). Lecture Notes in Computer Science, Vol. 3761, p. 1398-1415. Berlin: Springer.
- Guizzardi, G., Wagner, G., Herre, H. 2004. On the Foundations of UML as an Ontology Representation Language. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International Conference (EKAW 2004), Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science, Vol. 3257, p. 47-62. Berlin: Springer.
- Heller, B., Herre, H. 2004. Ontological Foundations of Medical Information Systems, New Trends in Software Methodologies, Tools and Techniques: Proceedings of the third SoMeT_W04 eds. Fujita, Hamido and Gruhn, Volker, Frontiers in Artificial Intelligence and Applications, Vol. 111, p. 3-17. Amsterdam: IOS Press.
- Heller, B., Herre, H., Lippoldt, K. The Theory of Top-Level Ontological Mappings and its Application to Clinical Trial Protocols. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International Conference (EKAW 2004), Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science, Vol. 3257, p. 1-14. Berlin: Springer.
- Heller, B., Herre, H., Lippoldt, K. 2004. Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. In: Rahm. E. (ed.) Data Integration in the Life Sciences. (DILS 2004), 2004 March 25-26. Leipzig. p. 47-62. Lecture Notes in Bioinformatics, Vol.2994. Heidelberg: Springer.
- Heller, B., Herre, H., Lippoldt, K., Löffler, M. 2004. Standardized Terminology for Clinical Trial Protocols Based on Ontological Top-Level Categories. In: Kaiser, K., Miksch, S., Tu, S.W. (eds.) Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols. (CGP 2004), 2004 April 13-14. Prague. p. 46-60. Studies in Health Technology and Informatics, Vol.101. Amsterdam: IOS-Press
- Heller, B., Herre, H. 2004. Ontological Categories in GOL. Axiomathes 14(1):57-76 Kluwer Academic Publishers
- Burek, P., Herre, H. 2003. Conceptual Modeling based on Upper-Level Ontologies and Meta-Ontological Foundations. In: Fähnrich, K.-P., Herre, H. (ed.) Content- und Wissensmanagement: Arbeiten aus dem Forschungsvorhaben PreBIS und Beiträge auf den Leipziger Informatik-Tagen 2003. Leipziger Beiträge zur Informatik, Vol. 1, p. 153-157. Leipzig: Leipziger Informatik Verbund (LIV).
- Heller, B., Herre, H. 2003 Formal Ontology and the Research Project GOL. In: Fähnrich, K.-P., Herre, H. (eds.) Content and Knowledge Management. Leipziger Informatik-Tage (LIT 2003), 2003 Sept 24-26. Leipzig.
- Guizzardi, G., Herre, H., Wagner, G. 2002. On the General Ontological Foundations of Conceptual Modeling. In: Proceedings of 21th International Conference on Conceptual Modeling, (ER2002), 2002 Okt 07-11; Tampere, Finland. pp. 97-112. Lecture Notes in Computer Science. Berlin: Springer.
- Guizzardi, G., Herre, H., Wagner, G. 2002. Towards Ontological Foundations for Conceptual UML Models. In: Meersman R, Tari Z., et al. (eds.) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. Proceedings of the International Conference on Ontologies, Databases and Applications of Semantics, (ODBASE), 2002 Okt 29-31. Irvine, California. pp. 1100-1117. Springer.Degen, W.,
- Heller, B., Herre, H., Smith, B. 2001. GOL: A General Ontological Language. In: Welty C., Smith B., (eds.) Proceedings of the International Conference on Formal Ontology in Information Systems, (FOIS 2001), 2001 Oct 17-19. Ogunquit. p. 34-46.
- Hoehndorf, R., Loebe, F., Poli, R., Herre, H. & Kelso, J. 2008. GFO-Bio:
A biological core ontology. Applied Ontology Vol. 3(4), pp. 219-227.
- Hoehndorf, R., Kelso, J., Herre, H. 2009. The ontology of biological
sequences. BMC - Bioinformatics Vol. 10 (377)
- Stausberg, J., Löbe, M., Verplancke, P., Drepper, J., Herre, H.,
Löffler, M. 2009. Foundations of a Metadata Repository for Databases of
Registers and Trials. In: Adlassnig, K.-P. et al (ed.) Medical
Informatics in a United and Healthy Europe (Proceedings of MIE 2009).
Vol. 150 (Studies in Health Technology and Informatics), Amsterdam: IOS
Press
- Hoehndorf, R., Kelso, J., Herre, H. 2009. A Formal Ontology of
Sequences. Nature Precedings 10.1038/npre.2009.35372
- Burek, P., Herre, H., Loebe, F. 2009. Ontological Analysis of Functional
Decompositions. Proceedings of The 8th International Conference on
Software Methodologies, Tools and Techniques (SOMET-2009
- Hoehndorf, R., Loebe, F., Bacher, J., Backhaus, M., Gregorio Jr., S.,
Prüfer, K., Visagie, J., Uciteli, A., Herre, H., Kelso, J. 2009. BOWIKI:
an ontology-based wiki for annotation of data and integration of
knowledge in biology. BMC - Bioinformatics Vol. 10 (5)
- Hoehndorf, R., Ngonga Ngomo, A.-C., Herre, H. 2009. Developing
Consistent and Modular Software Models with Ontologies. Proceedings of
The 8th International Conference on Software Methodologies, Tools and
Techniques (SOMET-2009), to appear 2009.
- Hartung, M., Loebe, F., Herre, H., Rahm, E. 2009. Management of Evolving
Semantic Grid Metadata Within a Collaborative Platform. Information
Sciences -- Special Issue on "Intelligent Distributed Information
Systems", to appear 2009.
Metatheorie formalisierter Theorien
- Publikationen der Arbeitsgruppe (Auswahl)
- H. Herre: Das Basistheorem und einige Anwendungen in der
Modelltheorie (mit W. Rautenberg); Wiss. Zeitschrift der HU
Berlin, Math.Nat. R. XIX(1970), 579 - 589
- H. Herre: Entscheidungsprobleme in der Theorie einer
zweistelligen Relation; Dissertation A, 1971,
Humboldt-Universität, 88 S.
- H. Herre: Entscheidungsprobleme in der elementaren Theorie
einer zweistelligen
Relation, ZML 18 (1972), 301-318
- H. Herre: Die Entscheidbarkeit der
elementaren Theorie der n-separierten
symmetrischen Graphen endlicher Valenz; ZML 18 (1972), 244-254
- H. Herre: Zur Metatheorie formaler Systeme
(mit J. Hauck , M. Posegga); in: Quantoren, Modalitäten;
Paradoxien (Hrsg. H. Wessel),S. 107-122,
Deutscher Verlag der Wissenschaften, Berlin 1972
- H. Herre: Entscheidbarkeit der monadischen Theorie der
2. Stufe der n-separierten Graphen
(mit K. Hauschild(1), W.Rautenberg);
Wiss.Zeitschrift d. HU, Math.-Nat. Reihe XXI (1972), 507-511
- H. Herre: Entscheidbarkeit der Theorie der
endlichen Bäume und verwandter
Klassen endlicher Strukturen (K. Hauschild, W. Rautenberg);
Wiss. Zeitschr. d. HU, Math.-Nat. R. XXI (1972)
- H. Herre: Interpretierbarkeit und Entscheidbarkeit in der
Graphentheorie II,
(mit K. Hauschild, W. Rautenberg); ZML 18 (1972),
457-480
- H. Herre: Unentscheidbarkeit in der Graphentheorie,
Bull.
de l' Acad. Pol. d.
Sci. vol. XXI (1973), 201-208
- H. Herre: Nonfinitely axiomatizable theories of graphs,
Bull. de l' Acad. Pol. d.Sci. vol. XXII (1974), n. 12, 1187-1190
- H. Herre: Entscheidbarkeit von Theorien von Logiken mit
verallgemeinerten
Quantoren (mit H. Wolter), ZML, Bd. 21 (1975), 229-246
- H. Herre: Decidability of one unary function with
added Quantifier
there exists
-many; Notices of the AMS,
vol. 22
(1975), A-524
- H. Herre: Decidability of the theory T<(
)
of linear orderings with added
quantifier ``there exist at least
'' many
for regular a
Notices of the AMS vol. 23 (1976),
A-449
- H. Herre: Decidability of theories in logics
with additional monadic
quantifiers, in:Proc. of the Symposium on Mathematical Logic in
Oulo '74 and Helsinki; ed. by S. Miettinen and Väänänen,J.,
Reports from Departm. of Philosophy, University of Helsinki 2
(1977), 77-80
- H. Herre: Entscheidbarkeit der Theorie der linearen Ordnung in
L(
)
(mit H. Wolter); ZML 23 (1977), 273-282
- H. Herre: Model theoretic properties of graphs of bounded valency; Logic Colloquium 1977 (ASL), Wroclaw, Polen; S. 16-17
- H. Herre: Entscheidbarkeit der linearen Ordnung in
L(
) für
reguläres a
(mit H. Wolter); ZML 24 (1978), 73-78
- H. Herre: Zum Entscheidungsproblem für Theorien in Logiken mit
monadischen
verallgemeinerten Quantoren (mit A.Pinus); ZML 24 (1978),
375-384
- H. Herre: Decidability of the theory of linear orderings with
cardinality
quantifier
(
arbitrary)
(mit H.Wolter), Notices of the AMS,
vol. (1978)
- H. Herre: Entscheidbarkeit der linearen Ordnung in
Logiken mit
Mächtigkeitsquantoren bzw. Chang-Quantor
(mit H. Wolter), ZML
(1979), 25, 345-358
- H. Herre: Modelltheoretische Eigenschaften endlich-valenter
Graphen; ZML (1980), Bd. 26, 51-58
- H. Herre: Concerning the Monadic Theory of the Topology
of Well-Orderings and
Scattered Spaces (mit D.Seese);
Bull. de l' Acad. Pol. d. Sci. vol. XXVIII, N.1-2 (1980)
- H. Herre: Untersuchungen zur Theorie der linearen Ordnung
in Logiken mit
Mächtigkeitsquantoren (mit H. Wolter), ZML (1981), 73-94
- H. Herre: Superstable Graphs
(mit A. Mekler, Smith,K.W.),
Fund. Math. CXVIII (1983), S. 75-79
- H. Herre: The Härtig quantifier. A survey
(mit M. Krynicki,
A.Pinus, J. Väänänen): Journal of Symbolic Logic,
vol. 56,(1991), 1153-1183
- H. Herre: Decision Problems for Linear Orderings in
Stationary Logic,
Bulletin of the Section of Logic (Polish Academy of Sciences)
vol. 20 (1991), No.3/4, 102-104
- H. Herre: Theories of finitely determinate linear orderings
in Stationary
Logic; in: Quantifiers: Logics, Models and Computation,
(eds.: M. Krynicki, M.
Mostowski, L.W. Szczerba), Kluwer academic publishers, 1995, S. 89-113
- H. Herre: Theory of linear order in extended logics;
in: Quantifiers: Logics, Models and Computation,
(eds.: M. Krynicki, M.
Mostowski, L.W. Szczerba), Kluwer academic publishers, 1995, S. 139-192