On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th 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
ε-connections of abstract description systems
Artificial Intelligence
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
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Rule-Based Approaches for Representing Probabilistic Ontology Mappings
Uncertainty Reasoning for the Semantic Web I
Formal and Conceptual Comparison of Ontology Mapping Languages
Modular Ontologies
The Relevance of Reasoning and Alignment Incoherence in Ontology Matching
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
Heterogeneity and Context in Semantic-Web-Enabled HCLS Systems
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Evaluating formalisms for modular ontologies in distributed information systems
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Tightly integrated probabilistic description logic programs for representing ontology mappings
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Reconciling concepts and relations in heterogeneous ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Modular ontologies – a formal investigation of semantics and expressivity
ASWC'06 Proceedings of the First Asian 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
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
The need to represent mappings between different ontologies has been recognized as a result of the fact that different ontologies may partially overlap, or even represent the same domain from different points of view. Unlike ontology languages, work on languages to represent ontology mappings has not yet reached a state where a common understanding of the basic principles exists. In this paper we propose a formal comparison of existing mapping languages by translating them into distributed first order logic. This allows us to analyze underlying assumptions and differences in the interpretation of ontology mappings.