Closed World Reasoning for OWL2 with NBox
نویسندگان
چکیده
In this paper, the authors investigate the problem of doing Description Logic (DL) reasoning with partially closed world. They address this issue 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 preserve the correctness of reasoning for ontologies with certain properties.
منابع مشابه
Closed World Reasoning for OWL2 with Negation As Failure
The Description Logic (DL)-based ontologies impose the Open World Assumption (OWA), while many other knowledge formalisms, such as the Logic Program, relational database, etc. impose the ClosedWorld Assumption (CWA). In order to interoperate knowledge bases and systems with these different representations, as well as to support applications in certain domains with complete knowledge, it is nece...
متن کاملTowards Soundness Preserving Approximation for ABox Reasoning of OWL2
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing approaches, such as the tableau-based approach, and the disjunctive datalog approach, is restricted by their theoretical worst case complexity bound. In this paper, we propose a soundness-preserving approximate reasoning a...
متن کاملPelletServer: HTTP & OWL2 Reasoning
Using OWL2 reasoning services with Pellet requires either interacting with Pellet by using the command line or writing code in Java to invoke its interfaces. Both of these solutions can be impractical in some cases. We present a solution for easier, lightweight integration of Pellet, especially in enterprise environments, by providing access to reasoning services using a RESTful HTTP interface....
متن کاملArThUR: A Tool for Markov Logic Network
Logical approaches-and ontologies in particular-offer a welladapted framework for representing knowledge present on the Semantic Web (SW). These ontologies are formulated in Web Ontology Language (OWL2), which are based on expressive Description Logics (DL). DL are a subset of First-Order Logic (FOL) that provides decidable reasoning. Based on DL, it is possible to rely on inference mechanisms ...
متن کاملMulti-level Conceptual Modeling and OWL
Ontological metamodeling or multilevel-modeling refers to describing complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and classes is not clear cut. Punning in OWL2 provides decideable metamodeling support by allowing to use one symbol both as identifier of a class as well as of an individual. In conceptual modeling more powerful a...
متن کامل