Local closed world semantics: grounded circumscription for description logics

TitleLocal closed world semantics: grounded circumscription for description logics
Publication TypeConference Paper
Year of Publication2011
AuthorsKunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler
Conference NameWeb Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011
PublisherLecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011
Conference LocationGalway, Ireland
Keywordscircumscription, Description Logic, local closed world
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.

Full Text

Adila Krisnadhi, Kunal Sengupta, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011.

Editor Array