Reasoning about infinite computations
Information and Computation
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
ε-connections of abstract description systems
Artificial Intelligence
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
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
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
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
In recent papers, we have proposed an extension of the formalism of Distributed Description Logic (DDL) to represent a wide set of homogeneous and heterogeneous mappings involving relations and concepts. Here we investigate in depth how to provide an effective reasoning algorithm for reasoning within this logic in the case of homogeneous mappings.