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

• Type: Conference
• Year: 2006
• Where: ATAL
• Authors: Dejing Dou, Drew V. McDermott
• Keywords: Agent Communication, ATAL 2006, Intelligent Agents, Ontology, Ontology Translation