Ontologies: principles, methods and applications

This paper is intended to serve as a comprehensive introduction to the emerging field concerned with the design and use of ontologies. We observe that disparate backgrounds, languages, tools and techniques are a major barrier to effective communication among people, organisations and/or software understanding (i.e. an “ontology”) in a given subject area, can improve such communication, which in turn, can give rise to greater reuse and sharing, inter-operability, and more reliable software. After motivating their need, we clarify just what ontologies are and what purpose they serve. We outline a methodology for developing and evaluating ontologies, first discussing informal techniques, concerning such issues as scoping, handling ambiguity, reaching agreement and producing definitions. We then consider the benefits and describe, a more formal approach. We re-visit the scoping phase, and discuss the role of formal languages and techniques in the specification, implementation and evalution of ontologies. Finally, we review the state of the art and practice in this emerging field, considering various case studies, software tools for ontology development, key research issues and future prospects.

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

[2]  Martin L. King,et al.  Towards a Methodology for Building Ontologies , 1995 .

[3]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

[4]  Anjo Anjewierden,et al.  The KACTUS View on the 'O' word , 1995, IJCAI 1995.

[5]  Nicola Guarino,et al.  Editorial: The role of formal ontology in the information technology , 1995, Int. J. Hum. Comput. Stud..

[6]  Suzanne M. Embury,et al.  Compiling a Declarative High-Level Language for Semantic Integrity Constraints , 1995, DS-6.

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

[8]  R GruberThomas.  Toward principles for the design of ontologies used for knowledge sharing , 1995 .

[9]  P. E. van der Vet,et al.  Ontologies for very large knowledge bases in materials science: a case study , 1995 .

[10]  George Lakoff,et al.  Women, Fire, and Dangerous Things , 1987 .

[11]  A. Gomez-Perez,et al.  Some ideas and examples to evaluate ontologies , 1995, Proceedings the 11th Conference on Artificial Intelligence for Applications.

[12]  Michael Grüninger,et al.  The Process Interchange Format and Framework , 1998, The Knowledge Engineering Review.

[13]  Nicolaas J. I. Mars,et al.  Towards very large knowledge bases, knowledge building and knowledge sharing 1995 , 1995 .

[14]  A. T. Schreiber,et al.  Framework and formalism for expressing ontologies, Deliverable ESPRIT project P8145, KACTUS/DO1b.1-Framework-1.1-UvA-BW+GS+WJ+AA , 1994 .

[15]  Michael Gruninger,et al.  Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.

[16]  John F. Sowa,et al.  Top-level ontological categories , 1995, Int. J. Hum. Comput. Stud..

[17]  Kevin Crowston,et al.  Tools for inventing organizations: toward a handbook of organizational processes , 1993, [1993] Proceedings Second Workshop on Enabling Technologies@m_Infrastructure for Collaborative Enterprises.

[18]  Mark R. Cutkosky,et al.  Knowledge Sharing Technology Project Overview , 1991 .

[19]  Thomas J. Mowbray,et al.  The essential CORBA - systems integration using distributed objects , 1995 .

[20]  Jintae Lee,et al.  Partially shared views: a scheme for communicating among groups that use different type hierarchies , 1990, TOIS.

[21]  Jintae Lee,et al.  The PIF Process Interchange Format and Framework PIF Working Group , 1994 .

[22]  Nicola Guarino,et al.  An Ontology of Meta-Level Categories , 1994, KR.

[23]  P. E. van der Vet,et al.  Scalability of the performance of knowledge representation systems , 1995 .

[24]  Luc Steels,et al.  A Future for Knowledge Acquisition. Proceedings of the 8th European Knowledge Acquisition Workshop EKAW'94 , 1994 .

[25]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[26]  Bob J. Wielinga,et al.  CML: The CommonKADS Conceptual Modelling Language , 1994, EKAW.

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

[28]  Nicolaas J. I. Mars,et al.  Structured system of concepts for storing, retrieving, and manipulating chemical information , 1993, J. Chem. Inf. Comput. Sci..