Closed world reasoning for OWL2 with NBox

Yuan Ren; Jeff Z. Pan; Yuting Zhao

doi:10.1016/S1007-0214(10)70117-6

Closed world reasoning for OWL2 with NBox

Yuan Ren, Jeff Z. Pan, Yuting Zhao

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

This paper describes the problem of doing description logic (OL) reasoning with partially closed world. The issue was addressed by extending the syntax of OL 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 OL ontologies, and applying the syntactic approximation technology to improve the reasoning performance. Compared with the existing OBox 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 language	English
Pages (from-to)	692-701
Number of pages	10
Journal	Tsinghua Science and Technology
Volume	15
Issue number	6
DOIs	https://doi.org/10.1016/S1007-0214(10)70117-6
Publication status	Published - 1 Dec 2010

Keywords / Materials (for Non-textual outputs)

ontology
closed world
reasoning
approximation

Access to Document

10.1016/S1007-0214(10)70117-6Licence: All Rights Reserved

https://ieeexplore.ieee.org/abstract/document/6077920Licence: All Rights Reserved

Cite this

@article{ce726617fb664a7889d31a8806cd0fa3,

title = "Closed world reasoning for OWL2 with NBox",

abstract = "This paper describes the problem of doing description logic (OL) reasoning with partially closed world. The issue was addressed by extending the syntax of OL 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 OL ontologies, and applying the syntactic approximation technology to improve the reasoning performance. Compared with the existing OBox 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",

author = "Yuan Ren and Pan, {Jeff Z.} and Yuting Zhao",

year = "2010",

month = dec,

day = "1",

doi = "10.1016/S1007-0214(10)70117-6",

language = "English",

volume = "15",

pages = "692--701",

journal = "Tsinghua Science and Technology",

issn = "1007-0214",

publisher = "Tsing Hua University",

number = "6",

}

TY - JOUR

T1 - Closed world reasoning for OWL2 with NBox

AU - Ren, Yuan

AU - Pan, Jeff Z.

AU - Zhao, Yuting

PY - 2010/12/1

Y1 - 2010/12/1

N2 - This paper describes the problem of doing description logic (OL) reasoning with partially closed world. The issue was addressed by extending the syntax of OL 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 OL ontologies, and applying the syntactic approximation technology to improve the reasoning performance. Compared with the existing OBox 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.

AB - This paper describes the problem of doing description logic (OL) reasoning with partially closed world. The issue was addressed by extending the syntax of OL 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 OL ontologies, and applying the syntactic approximation technology to improve the reasoning performance. Compared with the existing OBox 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.

KW - ontology

KW - closed world

KW - reasoning

KW - approximation

U2 - 10.1016/S1007-0214(10)70117-6

DO - 10.1016/S1007-0214(10)70117-6

M3 - Article

SN - 1007-0214

VL - 15

SP - 692

EP - 701

JO - Tsinghua Science and Technology

JF - Tsinghua Science and Technology

IS - 6

ER -

Closed world reasoning for OWL2 with NBox

Abstract / Description of output

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this