Title of article
Closed World Reasoning for OWL2 with NBox
Author/Authors
REN, Yuan University of Aberdeen - Department of Computing Science, UK , PAN, Jeff Z. University of Aberdeen - Department of Computing Science, UK , ZHAO, Yuting University of Aberdeen - Department of Computing Science, UK
From page
692
To page
701
Abstract
This paper describes the problem of doing description logic (DL) reasoning with partially closed world. The issue was addressed by extending the syntax of DL SROIQ with an NBox, which specifies the predicates to close, extending the semantics with the idea of negation as failure, reducing the closed world reasoning to incremental reasoning on classical DL ontologies, and applying the syntactic approximation technology to improve the reasoning performance. Compared with the existing DBox approach, which corresponds to the relation database, the NBox approach supports deduction on closed concepts and roles.Also, the approximate reasoning can reduce reasoning complexity from N2EXPTIME-complete to PTIME-complete while preserving the correctness of reasoning for ontologies with certain properties.
Keywords
ontology , closed world , reasoning , approximation
Journal title
Tsinghua Science and Technology
Journal title
Tsinghua Science and Technology
Record number
2535335
Link To Document