Closed world reasoning for OWL2 with NBox

Yuan Ren, Jeff Z. Pan, Yuting Zhao

Research output: Contribution to journalArticle

15 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)692-701
Number of pages10
JournalTsinghua Science and Technology
Volume15
Issue number6
DOIs
Publication statusPublished - 1 Dec 2010

Keywords

  • approximation
  • closed world
  • ontology
  • reasoning

Fingerprint Dive into the research topics of 'Closed world reasoning for OWL2 with NBox'. Together they form a unique fingerprint.

Cite this