Sciweavers

ATAL
2006
Springer

Deriving axioms across ontologies

13 years 7 months ago
Deriving axioms across ontologies
Ontologies play a key role in agent communication and the emerging Semantic Web. Axioms are an important component of ontologies to describe the relationships among the concepts. The current research on ontology mapping and ontology translation mainly focuses on how to map and translate the vocabularies and associated data instances from one ontology to another. However, when extending one ontology using axioms from another, we must confront the problem of translating axioms. In this paper, we show that simple symbol replacement will not solve the problem of axiom translation because of asymmetry of translation. Instead we extend our inferential ontology translation for facts (ground atomic formulas) and queries to cover axioms using a method we call axiom derivation. Keywords Ontologies, the Semantic Web, Agent Communication, Ontology Translation
Dejing Dou, Drew V. McDermott
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATAL
Authors Dejing Dou, Drew V. McDermott
Comments (0)