Local Closed World Semantics: Grounded Circumscription for Description Logics

TitleLocal Closed World Semantics: Grounded Circumscription for Description Logics
Publication TypeConference Papers
Year of Publication2011
AuthorsKrisnadhi, A, Sengupta, K, Hitzler, P
EditorRudolph, S, Gutierrez, C
Conference NameWeb Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Volume6902
Pagination263-268
Date Published08/2011
PublisherSpringer
ISBN Number978-3-642-23579-5
Abstract

We present an improved local closed world extension for description logics. It is based on circumscription, and deviates from previous circumscriptive description logics 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.

URLhttp://dx.doi.org/10.1007/978-3-642-23580-1
DOI10.1007/978-3-642-23580-1
Refereed DesignationRefereed

Projects: