2011 | OriginalPaper | Chapter
Local Closed World Semantics: Grounded Circumscription for Description Logics
Authors : Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler
Published in: Web Reasoning and Rule Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.