A declarative formalization of knowledge translation
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
Ontology translation on the semantic web
Journal on Data Semantics II
Development of NeuroElectroMagnetic ontologies(NEMO): a framework for mining brainwave ontologies
Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining
Provability-based semantic interoperability via translation graphs
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Semantic translation for rule-based knowledge in data mining
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
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.