Local Closed World Semantics: Grounded Circumscription for Description Logics

Authors

Adila Alfa Krishnadhi
Kunal SenguptaFollow
Pascal HitzlerFollow

Document Type

Conference Proceeding

Publication Date

8-1-2011

Find this in a Library

Catalog Record

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.

Comments

Presented at the 5th International Conference on Web Reasoning and Rule Systems, Galway, Ireland, August 29-30, 2011.

Repository Citation

Krishnadhi, A. A., Sengupta, K., & Hitzler, P. (2011). Local Closed World Semantics: Grounded Circumscription for Description Logics. Lecture Notes in Computer Science, 6902, 263-268.
https://corescholar.libraries.wright.edu/cse/115

DOI

10.1007/978-3-642-23580-1_22