A translation approach to portable ontology specifications

@article{Gruber1993ATA,
  title={A translation approach to portable ontology specifications},
  author={Thomas R. Gruber},
  journal={Knowledge Acquisition},
  year={1993},
  volume={5},
  pages={199-220}
}
  • T. Gruber
  • Published 1 June 1993
  • Computer Science
  • Knowledge Acquisition
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… 
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS
TLDR
This work introduces the concept of meta-relation which allows the expression of knowledge on the relations themselves and generates a schema which describes a domain ontology only using representative terms of the target KBS.
Ontology Translation on the Semantic Web
TLDR
OntoMerge, an online system for ontology merging and automated reasoning, can implement ontology translation with inputs and outputs in OWL or other web languages.
An Ontology Driven Approach to Ontology Translation
TLDR
This work proposes a translation approach which employs a unique translator no matter what source and target languages are involved and relies on a meta-language called M_Kif which extends the Kif language with the concept of meta-relation to describe representation ontologies.
Mapping Ontologies to Objects using a Transformation based on Description Logics
TLDR
The presented formal mapping and its implementation - the MOOT framework - is an evolution in the field of ontology to object mapping and relies on description logics to formalize the transformation process and allow for a detailed discussion about the entailed expressivity.
The lattice approach to ontology language interoperability
TLDR
A new approach based on concept lattice is presented, a branch of the lattice theory that allows us to identify meaningful groupings of elements that have common properties with the aid of formal concept analysis (FCA).
Minimal definition signatures: computation and application to ontology alignment
TLDR
This thesis introduces the notion of minimal definition signature (MDS) from which a given entity is implicitly definable, and presents a novel approach that provides an efficient way to compute in practice all MDSs of the definable entities.
Ontology to appear in the Encyclopedia of Database Systems
DEFINITION In the context of computer and information sciences, an ontology defines a set of representational primitives with which to model a domain of knowledge or discourse. The representational
Towards a Model Ontology for Grail
TLDR
M-Kif is a meta-language used to describe model ontologies of systems that the authors want to reuse or share their knowledge bases, and is founded on a meta model whose basic concepts are unary meta-relation for describing knowledge on unary or binary relations of a Domain Ontology and binary meta-relations for specifying knowledge concerning the link between pairs of unary and binary relations.
Converting a controlled vocabulary into an ontology: the case of GEM
TLDR
The theoretical and methodological framework in this paper serves as the rationale and guideline for converting the GEM controlled vocabulary into an ontology, and the major difference between the two models lies in the values added through deeper semantics in describing digital objects, both conceptually and relationally.
Machine translation of domain-specific expressions within ontologies and documents
TLDR
This dissertation examines the translation of domain-specific expressions represented in semantically structured resources or documents and presents a domain-aware machine translation system to automatically translate the labels.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 34 REFERENCES
Ontolingua: a mechanism to support portable ontologies
TLDR
The basic approach of Ontolingua to the ontology sharing problem is described, the syntax is introduced, and the semantics of a few ontological commitments made in the software are described.
Foundations of a Functional Approach to Knowledge Representation
  • H. Levesque
  • Mathematics, Computer Science
    Artif. Intell.
  • 1984
TLDR
A new approach to knowledge representation where knowledge bases are characterized not in terms of the structures they use to represent knowledge, but functionally, in Terms of what they can be asked or told about some domain, which cleanly separates functionality from implementation structure.
Knowledge Interchange Format Version 3.0 Reference Manual
TLDR
Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs that has declarative semantics and logically comprehensive semantics.
Towards a Theory of Access-Limited Logic for Knowledge Representation
TLDR
This work presents steps toward a theory of access-limited logic, in which access to assertions in the knowledge-base is constrained by semantic network style locality relations and has a well deened semantics and a weakened form of completeness.
Enabling Technology for Knowledge Sharing
TLDR
This article presents a vision of the future in which knowledge-based system development and operation is facilitated by infrastructure and technology for knowledge sharing, and describes an initiative currently under way to develop these ideas.
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
TLDR
The formalism of this paper represents an advance over McCarthy (1963) and Green (1969) in that it permits proof of the correctness of strategies that contain loops and strategies that involve the acquisition of knowledge; and it is also somewhat more concise.
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
TLDR
This review has been difficult for me to write, because my thoughts about Cyc have changed a great deal since I first read the book in the spring of 1990 and I agree with his complaints about the confusing organization of the book and the lack of precise definitions.
THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS
TLDR
This chapter attempts to characterize the technology that has evolved within the KL-ONE family of knowledge representation systems, which are logic based, they support a specialized term-forming language, and they implement a specialized reasoner called a term classifier.
Toward a Knowledge Medium for Collaborative Product Development
TLDR
The framework is designed to support information sharing and coordinated communication among members of a product development organization, particularly for the tasks of design knowledge capture, dynamic notification of design changes, and active management of design dependencies.
The DARPA Knowledge Sharing Effort: A Progress Report
TLDR
Lack of methodology for sharing and communicating knowledge poses a signicant road-block in developing large multi-center research projects such as DARPA/Rome Laboratory Planning and Scheduling Initative.
...
1
2
3
4
...