Document Type
Conference Proceeding
Publication Date
7-1-2011
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 at the same time are applicable, as extensions, to expressive description logics 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 circumspective description logics which, in contrast to previously reported circumscription proposals, is applicable to SROIQ without rendering reasoning over the resulting language undecidable.
Repository Citation
Krishnadhi, A.,
Sengupta, K.,
& Hitzler, P.
(2011). Local Closed World Semantics: Keep it simple, stupid!. Proceedings of the 2011 International Workshop on Description Logics (DL2011), 745, 12.
https://corescholar.libraries.wright.edu/cse/112
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the International Workshop on Description Logics, Barcelona, Spain, July 13-16, 2011.