A translation approach to portable ontology specifications

Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common vocabulary in which shared knowledge is represented. A specification of a representational vocabulary for a shared domain of discourse—definitions of classes, relations, functions, and other objects—is called an ontology. This paper describes a mechanism for defining ontologies that are portable over representation systems. Definitions written in a standard format for predicate calculus are translated by a system called Ontolingua into specialized representations, including frame-based systems as well as relational languages. This allows researchers to share and reuse ontologies, while retaining the computational benefits of specialized implementations. We discuss how the translation approach to portability addresses several technical problems. One problem is how to accommodate the stylistic and organizational differences among representations while preserving declarative content. Another is how to translate from a very expressive language into restricted languages, remaining system-independent while preserving the computational efficiency of implemented systems. We describe how these problems are addressed by basing Ontolingua itself on an ontology of domain-independent, representational idioms.

[1]  Timothy W. Finin,et al.  Specification of the KQML Agent-Communication Language , 1993 .

[2]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[3]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

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

[5]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[6]  Nicola Guarino,et al.  Concepts, attributes and arbitrary relations , 1992, Data Knowl. Eng..

[7]  Thomas R. Gruber,et al.  Toward a Knowledge Medium for Collaborative Product Development , 1992 .

[8]  Thomas Pirlein,et al.  Reusing a Large Domain-Independent Knowledge Base , 1993, International Conference on Software Engineering and Knowledge Engineering.

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

[10]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[11]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[12]  Thomas R. Gruber,et al.  The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases , 1991, KR.

[13]  Robert Mac Gregor,et al.  THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS , 1991 .

[14]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.

[15]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[16]  Benjamin Kuipers,et al.  Towards a Theory of Access-limited Logic for Knowledge Representation , 2005 .

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

[18]  John P. McDermott,et al.  VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking , 1988, AI Mag..

[19]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[20]  Ramanathan V. Guha,et al.  Cyc: toward programs with common sense , 1990, CACM.

[21]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

[22]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..