Open Access. Powered by Scholars. Published by Universities.®

Bioinformatics Commons

Open Access. Powered by Scholars. Published by Universities.®

Computer Science and Engineering Faculty Publications

Circumscription

Articles 1 - 1 of 1

Full-Text Articles in Bioinformatics

Local Closed World Semantics: Keep It Simple, Stupid!, Adila Krishnadhi, Kunal Sengupta, Pascal Hitzler Jul 2011

Local Closed World Semantics: Keep It Simple, Stupid!, Adila Krishnadhi, Kunal Sengupta, Pascal Hitzler

Computer Science and Engineering Faculty Publications

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 …