A Class-Based Logic Language for Ontologies

We describe a formal design of a hybrid language and show that it provides a suitable basis for representing and interacting with ontologies. We specify ontologies and query them with a clear logical semantics. The proposed language combines the expressive power of description logics and rules.

[1]  William W. Cohen,et al.  Learning the Classic Description Logic: Theoretical and Experimental Results , 1994, KR.

[2]  John R. Josephson,et al.  What Are They? Why Do We Need Them? , 1999 .

[3]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[4]  Ralf Küsters.  Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata , 1998, KR.

[5]  Margarida Mamede,et al.  A Contraint Logic Programming Scheme for Taxonomic Reasoning , 1992, JICSLP.

[6]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[7]  D. Lindberg,et al.  The Unified Medical Language System , 1993, Methods of Information in Medicine.

[8]  Balakrishnan Chandrasekaran,et al.  What are ontologies, and why do we need them? , 1999, IEEE Intell. Syst..

[9]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[10]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[11]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

[12]  Deborah L. McGuinness,et al.  Conceptual Modeling for Distributed Ontology Environments , 2000, ICCS.

[13]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS.

[14]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[15]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[16]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS '89.

[17]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[18]  Franz Baader,et al.  Number Restrictions on Complex Roles in Description Logics: A Preliminary Report , 1996, KR.

[19]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[20]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[21]  Martin L. Kersten,et al.  A Graph-Oriented Model for Articulation of Ontology Interdependencies , 1999, EDBT.

[22]  S Kay,et al.  A Framework for Modelling the Electronic Medical Record , 1993, Methods of Information in Medicine.

[23]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[24]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .