Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
The Description Logic Handbook
The Description Logic Handbook
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
Effective query rewriting with ontologies over DBoxes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
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)
Matching patient records to clinical trials using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
A non-monotonic expressiveness extension on the semantic web rule language
Journal of Web Engineering
"Closing" some doors for the open semantic web
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
A logical geo-ontology design pattern for quantifying over types
Proceedings of the 20th International Conference on Advances in Geographic Information Systems
Ontology constraints in incomplete and complete data
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Ontology-based data access with closed predicates is inherently intractable (sometimes)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
We present a new approach to adding closed world reasoning to the Web Ontology Language OWL. It transcends previous work on circumscriptive description logics which had the drawback of yielding an undecidable logic unless severe restrictions were imposed. In particular, it was not possible, in general, to apply local closure to roles. In this paper, we provide a new approach, called grounded circumscription, which is applicable to SROIQ and other description logics around OWL without these restrictions. We show that the resulting language is decidable, and we derive an upper complexity bound. We also provide a decision procedure in the form of a tableaux algorithm.