Local closed world semantics: Grounded circumscription for description logics

Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems - 5th International Conference, RR 2011, Proceedings
Pages263-268
Number of pages6
DOIs
Publication statusPublished - 2011
Event5th International Conference on Web Reasoning and Rule Systems, RR 2011 - Galway, Ireland
Duration: 29 Aug 201130 Aug 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6902 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Conference on Web Reasoning and Rule Systems, RR 2011
Country/TerritoryIreland
CityGalway
Period29/08/1130/08/11

Keywords

  • circumscription
  • description logic
  • local closed world

Fingerprint

Dive into the research topics of 'Local closed world semantics: Grounded circumscription for description logics'. Together they form a unique fingerprint.

Cite this