Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Extending description logic rules
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
A tableau algorithm for description logics with nominal schema
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A tableau algorithm for description logics with nominal schema
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Towards an efficient algorithm to reason over description logics extended with nominal schemas
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
As part of the quest for a unifyinglogic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on theWeb Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one ormore desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied. We report on recent advances and ongoing work by the authors in integrating OWL and rules. We take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rule-based formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found.