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 .
ontologies agent communication ontology translation the semantic web