Local closed world semantics: Keep it simple, stupid!

Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler

Research output: Contribution to journalConference article

11 Citations (Scopus)

Abstract

A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web applications. However, none of the proposals made to date for extending description logics with local closed world capabilities has had any significant impact on applications. We believe that one of the key reasons for this is that current proposals fail to provide approaches which are intuitively accessible for application developers and at the same time are applicable, as extensions, to expressive description logics such as SROIQ, which underlies the Web Ontology Language OWL. In this paper we propose a new approach which overcomes key limitations of other major proposals made to date. It is based on an adaptation of circumscriptive description logics which, in contrast to previously reported circumscription proposals, is applicable to SROIQ without rendering reasoning over the resulting language undecidable.

Original languageEnglish
Pages (from-to)532-542
Number of pages11
JournalCEUR Workshop Proceedings
Volume745
Publication statusPublished - 1 Dec 2011
Event24th International Workshop on Description Logics, DL 2011 - Barcelona, Spain
Duration: 13 Jul 201116 Jul 2011

Keywords

  • Circumscription
  • Closed world
  • Decidability
  • Description logic

Fingerprint Dive into the research topics of 'Local closed world semantics: Keep it simple, stupid!'. Together they form a unique fingerprint.

  • Cite this