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.
Citations
|
1221
|
Hayes Some philosophical problems from the standpoint
– McCarthy, H
- 1969
|
|
609
|
The knowledge level
– Newell
- 1982
|
|
351
|
Building Large Knowledge-Based Systems
– Lenat, Guha
- 1990
|
|
330
|
Knowledge interchange format, version 3.0 reference manual
– Genesereth, Fikes
- 1992
|
|
239
|
Enabling Technology for Knowledge Sharing
– Neches
- 1991
|
|
189
|
ONTOLINGUA: A Mechanism to Support Portable Ontologies
– Gruber
- 1992
|
|
158
|
The evolving technology of classification-based knowledge representation systems
– MacGregor
- 1991
|
|
125
|
PACT: An Experiment in Integrating Concurrent Engineering Systems
– Cutkosky, Engelmore, et al.
- 1993
|
|
122
|
Foundations of a functional approach to knowledge representation
– Levesque
- 1984
|
|
106
|
CYC: Toward Programs with Common Sense
– Lenat
- 1990
|
|
98
|
A general organization of knowledge for natural language processing: the PENMAN upper model
– Bateman, Kasper, et al.
- 1990
|
|
98
|
The role of common ontology in achieving sharable, reusable knowledge bases
– Gruber
- 1991
|
|
95
|
The ARPA Knowledge Sharing Effort: Progress report
– Patil, Fikes, et al.
- 1992
|
|
79
|
VT: An expert elevator designer that uses knowledge-based backtracking
– Marcus, Stout, et al.
- 1988
|
|
74
|
The role of frame-based representation in reasoning
– Fikes, Kehler
- 1985
|
|
52
|
Concepts, Attributes and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases
– Guarino
- 1992
|
|
47
|
Semantic networks
– Sowa
- 1992
|
|
27
|
Toward a Knowledge Medium for Collaborative Product Development
– Gruber, Tenenbaum, et al.
- 1992
|
|
23
|
Knowledge Sharing Technology Project Overview
– Fikes, Cutkosky, et al.
- 1991
|
|
21
|
Towards a theory of access-limited logic for knowledge representation
– Crawford, Kuipers
- 1989
|
|
18
|
An agent-based framework for software interoperability
– Genesereth
- 1992
|
|
15
|
The Epikit manual
– Genesereth, editor
- 1992
|
|
13
|
A Common Knowledge Representation Integrating Learning Tools
– Morik, Causse, et al.
- 1991
|
|
7
|
Plug and play: Construction of taskspecific expert-system shells using sharable context ontologies
– Walther, Eriksson, et al.
- 1992
|
|
6
|
Reusing a Large Domain-Independent Knowledge Base
– Pirlein
- 1993
|
|
3
|
Technical report on the semantic unification meta-model. Standards working document
– Fulton
- 1992
|
|
1
|
Sharable ontologies as a basis for communication and collaboration in conceptual modeling
– Bradshaw, Holm, et al.
- 1992
|
|
1
|
EXPRESS Language Reference Manual. International Standard ISO 10303-11, Project Three ("Express Language") Working Group Five ("STEP Development Methods") of Subcommittee Four ("Manufacturing Languages and Data
– Spiby
- 1991
|
