The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A formal investigation of mapping language for terminological knowledge
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Reconciling concepts and relations in heterogeneous ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Mapping Properties of Heterogeneous Ontologies
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Proceedings of the 2008 conference on Formal Ontologies Meet Industry
Complexity of Reasoning With Expressive Ontology Mappings
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Ontology-based modularization of user interfaces
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Towards a Mediator Based on OWL and SPARQL
WSKS '09 Proceedings of the 2nd World Summit on the Knowledge Society: Visioning and Engineering the Knowledge Society. A Web Science Perspective
Editorial: BeAware!-Situation awareness, the ontology-driven way
Data & Knowledge Engineering
Hi-index | 0.00 |
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between different elements of heterogeneous ontologies. State of the art languages for ontology mapping enable to express semantic relations between homogeneous components of different ontologies; namely, they allow to map concepts into concepts, individuals into individuals, and properties into properties. In many real world cases this is not enough; for example when relations in an ontology correspond to a class in another ontology (i.e. reification of relations). To support this kind of interoperability we need therefore richer mapping languages, offering constructs for the representation of heterogeneous mappings. In this paper, we propose an extension of Distributed Description Logics (DDL) with mappings between concepts and relations. We provide a semantics of the proposed extension and sound and complete characterisation of the effects of these mappings in terms of the new ontological knowledge they entail.