A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
ε-connections of abstract description systems
Artificial Intelligence
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning problems on distributed fuzzy ontologies
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
A distributed and fuzzy extension of description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
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
Distributed instance retrieval in EHQDDL+SHIQ representation framework
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Hi-index | 0.00 |
ε-Connections are a robust framework for combining in a decidable way several families of decidable logics, including Description Logics (DLs), Modal Logics, and many logics of time and space. ε-Connections have also proved to be useful for supporting modular, distributed modeling such as is becoming common on the Semantic Web. In this paper, we present an extension to ε-Connections of DLs that provides more flexibility in the way link properties can be defined and used in a combination of ontologies. We also provide means for defining transitive relations across domains and for simulating some of the expressivity of the transitive closure operator. Finally, we provide a tableau-based decision procedure for two relevant ε-Connection languages involving the influential DLs SHIQ, SHOQ and SHIO, which are at the hasis of the Web Ontology Language (OWL).