Local closed world semantics: Grounded circumscription for OWL

Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

34 Citations (Scopus)

Abstract

We present a new approach to adding closed world reasoning to the Web Ontology Language OWL. It transcends previous work on circumscriptive description logics which had the drawback of yielding an undecidable logic unless severe restrictions were imposed. In particular, it was not possible, in general, to apply local closure to roles. In this paper, we provide a new approach, called grounded circumscription, which is applicable to SROIQ and other description logics around OWL without these restrictions. We show that the resulting language is decidable, and we derive an upper complexity bound. We also provide a decision procedure in the form of a tableaux algorithm.

Original languageEnglish
Title of host publicationThe Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings
Pages617-632
Number of pages16
EditionPART 1
DOIs
Publication statusPublished - 2 Nov 2011
Event10th International Semantic Web Conference, ISWC 2011 - Bonn, Germany
Duration: 23 Oct 201127 Oct 2011

Publication series

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

Conference

Conference10th International Semantic Web Conference, ISWC 2011
CountryGermany
CityBonn
Period23/10/1127/10/11

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

  • Cite this

    Sengupta, K., Krisnadhi, A. A., & Hitzler, P. (2011). Local closed world semantics: Grounded circumscription for OWL. In The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings (PART 1 ed., pp. 617-632). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7031 LNCS, No. PART 1). https://doi.org/10.1007/978-3-642-25073-6_39