Local closed world semantics: Grounded circumscription for OWL

Kunal Sengupta; Adila Alfa Krisnadhi; Pascal Hitzler

doi:10.1007/978-3-642-25073-6_39

Local closed world semantics: Grounded circumscription for OWL

Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

36 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 language	English
Title of host publication	The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings
Pages	617-632
Number of pages	16
Edition	PART 1
DOIs	https://doi.org/10.1007/978-3-642-25073-6_39
Publication status	Published - 2011
Event	10th International Semantic Web Conference, ISWC 2011 - Bonn, Germany Duration: 23 Oct 2011 → 27 Oct 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 1
Volume	7031 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th International Semantic Web Conference, ISWC 2011
Country/Territory	Germany
City	Bonn
Period	23/10/11 → 27/10/11

Access to Document

10.1007/978-3-642-25073-6_39

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

Sengupta, Kunal ; Krisnadhi, Adila Alfa ; Hitzler, Pascal. / Local closed world semantics : Grounded circumscription for OWL. The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings. PART 1. ed. 2011. pp. 617-632 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{9da41fb9620c468bbfea9fb205c9d639,

title = "Local closed world semantics: Grounded circumscription for OWL",

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.",

author = "Kunal Sengupta and Krisnadhi, {Adila Alfa} and Pascal Hitzler",

year = "2011",

doi = "10.1007/978-3-642-25073-6_39",

language = "English",

isbn = "9783642250729",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

number = "PART 1",

pages = "617--632",

booktitle = "The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings",

edition = "PART 1",

note = "10th International Semantic Web Conference, ISWC 2011 ; Conference date: 23-10-2011 Through 27-10-2011",

}

Sengupta, K, Krisnadhi, AA & 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 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 7031 LNCS, pp. 617-632, 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, 23/10/11. https://doi.org/10.1007/978-3-642-25073-6_39

Local closed world semantics: Grounded circumscription for OWL. / Sengupta, Kunal; Krisnadhi, Adila Alfa; Hitzler, Pascal.
The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings. PART 1. ed. 2011. p. 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Local closed world semantics

T2 - 10th International Semantic Web Conference, ISWC 2011

AU - Sengupta, Kunal

AU - Krisnadhi, Adila Alfa

AU - Hitzler, Pascal

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=80055057668&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-25073-6_39

DO - 10.1007/978-3-642-25073-6_39

M3 - Conference contribution

AN - SCOPUS:80055057668

SN - 9783642250729

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 617

EP - 632

BT - The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings

Y2 - 23 October 2011 through 27 October 2011

ER -

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

Local closed world semantics: Grounded circumscription for OWL

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this