PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Navigational plans for data integration
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Learning to map between ontologies on the semantic web
Proceedings of the 11th international conference on World Wide Web
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Description Logics for Information Integration
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
A decentralized infrastructure for query answering over distributed ontologies
Proceedings of the 2007 ACM symposium on Applied computing
Conjunctive queries for ontology based agent communication in MAS
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Semantic specification and evaluation of bids in web-based markets
Electronic Commerce Research and Applications
Grounding of Human Observations as Uncertain Knowledge
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
An argumentation framework based on confidence degrees to combine ontology mapping approaches
International Journal of Metadata, Semantics and Ontologies
Model Driven Specification of Ontology Translations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Web Semantics: Science, Services and Agents on the World Wide Web
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion
Uncertainty Reasoning for the Semantic Web I
Goal Node Search for Semantic Web Source Selection
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Formal and Conceptual Comparison of Ontology Mapping Languages
Modular Ontologies
Model-driven development of mediation for business services using COSMO
Enterprise Information Systems - Towards Model-driven Service-oriented Enterprise Computing - 12th International IEEE EDOC Enterprise Computing Conference (EDOC 2008)
An intelligent query processing for distributed ontologies
Journal of Systems and Software
Instance migration in heterogeneous ontology environments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
OWL-POLAR: semantic policies for agent reasoning
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Formalism-Independent specification of ontology mappings – a metamodeling approach
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Combining semantic web and logic programming for agent reasoning
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Ontology-based question answering for digital libraries
ECDL'07 Proceedings of the 11th European conference on Research and Advanced Technology for Digital Libraries
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
A hybrid reasoning mechanism for effective sensor selection for tasks
Engineering Applications of Artificial Intelligence
An Empirical Analysis of Semantic Techniques Applied to a Network Management Classification Problem
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Hi-index | 0.00 |
To enable interoperability between applications in distributed information systems based on heterogeneous ontologies, it is necessary to formally define the notion of a mapping between ontologies. In this paper, we define a mapping system for OWL-DL ontologies, where mappings are expressed as correspondences between conjunctive queries over ontologies. As query answering within such a general mapping system is undecidable, we identify a decidable fragment of the mapping system, which corresponds to OWL-DL extended with DL-safe rules. We further show how the mapping system can be applied for the task of ontology integration and present a query answering algorithm.