The Ontology Inference Layer OIL

Currently computers are changing from single isolated devices to entry points into a worldwide network of information exchange and business transactions. Therefore, support in the exchange of data, information, and knowledge is becoming the key issue in computer technology today. Ontologies provide a shared and common understanding of a domain that can be communicated between people and across application systems. Ontologies will play a major role in supporting information exchange processes in various areas. A prerequisite for such a role is the development of a joint standard for specifying and exchanging ontologies. This paper deals with precisely this necessity. We will present OIL which is a proposal for such a standard. It is based on existing proposals such as OKBC, XOL and RDF, and enriches them with necessary features for expressing rich ontologies. The paper presents the motivation, underlying rationale, modeling primitives, syntax, semantics, and tool environment of OIL. With OIL, we want to make a proposal that initiates a discussion leading to a useful and well defined consensus amongst a large community which could use such an approach.

[1]  Maarten Marx,et al.  A Road-Map on Complexity for Hybrid Logics , 1999, CSL.

[2]  Henrik Eriksson,et al.  Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .

[3]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[4]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[5]  Drew McDermott,et al.  D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1993, Artif. Intell..

[6]  Diego Calvanese,et al.  Description Logics for Conceptual Data Modeling , 1998, Logics for Databases and Information Systems.

[7]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[8]  Vinay K. Chaudhri,et al.  XOL: An XML-Based Ontology Exchange Language , 2000 .

[9]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[10]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[11]  Ian Horrocks,et al.  A Proposal for a Description Logic Interface , 1999, Description Logics.

[12]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[13]  Dieter Fensel,et al.  Ontobroker: The Very High Idea , 1998, FLAIRS.

[14]  Ian Horrocks,et al.  The relation between ontologies and schema-languages: Translating OIL-specifications in XML Schema. , 2000 .

[15]  Dan Brickley,et al.  Resource description framework (RDF) schema specification , 1998 .

[16]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[17]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[18]  Peter D. Karp,et al.  OKBC: A Programmatic Foundation for Knowledge Base Interoperability , 1998, AAAI/IAAI.

[19]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[20]  S. Decker,et al.  Studer: Ontobroker: The Very High Idea , 1998 .

[21]  Henrik Eriksson,et al.  Generation of knowledge-acquisition tools from domain ontologies , 1994, Int. J. Hum. Comput. Stud..

[22]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

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

[24]  Lee Spector,et al.  Ontology-Based Knowledge Discovery on the World-Wide Web , 1996 .

[25]  Asunción Gómez-Pérez,et al.  Applications of Ontologies and Problem-Solving Methods , 1999, AI Mag..

[26]  Diego Calvanese,et al.  Source integration in data warehousing , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[27]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[28]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[29]  李幼升,et al.  Ph , 1989 .

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

[31]  Werner Nutt,et al.  Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.

[32]  Robert M. MacGregor,et al.  A Description Classifier for the Predicate Calculus , 1994, AAAI.

[33]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[34]  Patrick Blackburn,et al.  Hybrid languages , 1995, J. Log. Lang. Inf..

[35]  Robert Meersman,et al.  The Use of Lexicons and Other Computer-Linguistic Tools in Semantics, Design and Cooperation of Database Systems , 1999, CODAS.

[36]  Peter D. Karp,et al.  An Evaluation of Ontology Exchange Languages for Bioinformatics , 2000, ISMB.

[37]  Sergio Tessaris,et al.  ABox Reasoning with Transitive Roles and Axioms , 1999, Description Logics.

[38]  Jeff Heflin,et al.  SHOE: A Knowledge Representation Language for Internet Applications , 1999 .

[39]  Steffen Staab,et al.  On2broker: Semantic-Based Access to Information Sources at the WWW , 1999, Intelligent Information Integration.

[40]  Dieter Fensel,et al.  Brokering Problem-Solving Knowledge at the Internet. , 1999 .

[41]  Nicholas Kushmerick,et al.  Wrapper Induction for Information Extraction , 1997, IJCAI.

[42]  Frank van Harmelen,et al.  Horrocks: OIL & UPML: A Unifying Framework for the Knowledge Web , 2000 .

[43]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[44]  Samson W. Tu,et al.  Mapping domains to methods in support of reuse , 1994, Int. J. Hum. Comput. Stud..

[45]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[46]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[47]  Dieter Fensel,et al.  UPML: A Framework for Knowledge System Reuse , 1999, IJCAI.

[48]  Dieter Fensel,et al.  Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information , 1999, DS-8.

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

[50]  A L Rector,et al.  Goals for concept representation in the GALEN project. , 1993, Proceedings. Symposium on Computer Applications in Medical Care.

[51]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.