Local Closed World Reasoning: Grounded Circumscription for OWL

TitleLocal Closed World Reasoning: Grounded Circumscription for OWL
Publication TypeConference Paper
Year of Publication2011
AuthorsKunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler
Conference NameThe Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011
PublisherProceedings, Part I. Lecture Notes in Computer Science Vol. 7031, Springer, Heidelberg, 2011
Conference LocationBonn, Germany
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 circumscrip- tion, 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.

Full Text

Kunal Sengupta, Adila Krisnadhi, Pascal Hitzler. Local Closed World Reasoning: Grounded Circumscription for OWL. The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011.

Editor Array

Related Files: