A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
A declarative formalization of knowledge translation
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Learning to map between ontologies on the semantic web
Proceedings of the 11th international conference on World Wide Web
A Graph-Oriented Model for Articulation of Ontology Interdependencies
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
MAFRA - A MApping FRAmework for Distributed Ontologies
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Representing Disjunction and Quantifiers in RDF
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Harmonise: A Solution for Data Interoperability
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
Ontology-based integration for relational databases
Proceedings of the 2006 ACM symposium on Applied computing
Deriving axioms across ontologies
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A SAT-based algorithm for context matching
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Ontology translation on the semantic web
Journal on Data Semantics II
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
Hi-index | 0.00 |
Ontologies play a key role in agent communication and the emerging Semantic Web to define a vocabulary of concepts and their relationships. Different agents and web services may use vocabularies from different ontologies to describe their data. The current research on ontology mapping and ontology translation mainly focuses on how to map and translate vocabularies and associated data instances from one ontology to another. However, more complicated true statements, such as axioms (rules), are used or being developed to describe the relationships among the concepts. When extending one ontology using complicated true statements (theory) from another, we must confront the problem of theory translation, which is difficult because of the asymmetry of translation. In this paper, using an inferential approach we call axiom derivation, we show how to translate complex axioms between different time ontologies. We also prove the validity of our algorithm.