Local closed world semantics: grounded circumscription for description logics

Authors:
Adila Alfa Krisnadhi;Kunal Sengupta;Pascal Hitzler
Affiliations:
Wright State University, Dayton OH;Wright State University, Dayton OH;Wright State University, Dayton OH
Venue:
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Year:
2011

Citing 5
Cited 0

Semantic Matchmaking of Web Resources with Local Closed-World Reasoning

International Journal of Electronic Commerce
The complexity of circumscription in description logic

Journal of Artificial Intelligence Research
Foundations of Semantic Web Technologies

Foundations of Semantic Web Technologies
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A better uncle for OWL: nominal schemas for integrating rules and ontologies

Proceedings of the 20th international conference on World wide web

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an improved local closed world extension for description logics. It is based on circumscription, and deviates from previous circumscriptive description logics [1,3] in that extensions of minimized predicates may contain only extensions of named individuals in the knowledge base. Besides an (arguably) higher intuitive appeal, the improved semantics is applicable to expressive description logics without loss of decidability.