Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

07/31/2011
by   Michael Schneider, et al.
0

OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language. Consistency and entailment checking are known to be undecidable for OWL 2 Full. We have translated a large fragment of the OWL 2 Full semantics into first-order logic, and used automated theorem proving systems to do reasoning based on this theory. The results are promising, and indicate that this approach can be applied in practice for effective OWL reasoning, beyond the capabilities of current Semantic Web reasoners. This is an extended version of a paper with the same title that has been published at CADE 2011, LNAI 6803, pp. 446-460. The extended version provides appendices with additional resources that were used in the reported evaluation.

READ FULL TEXT

page 17

page 18

page 19

page 20

page 23

page 24

page 25

research
08/26/2022

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

The paper investigates the relative expressiveness of two logic-based la...
research
08/05/2020

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

The W3C Web Ontology Language (OWL) is a powerful knowledge representati...
research
05/15/2023

RDF Surfaces: Computer Says No

Logic can define how agents are provided or denied access to resources, ...
research
10/16/2015

Evaluating the Competency of a First-Order Ontology

We report on the results of evaluating the competency of a first-order o...
research
10/31/2011

Extended RDF as a Semantic Foundation of Rule Markup Languages

Ontologies and automated reasoning are the building blocks of the Semant...
research
12/12/2012

Modeling in OWL 2 without Restrictions

The Semantic Web ontology language OWL 2 DL comes with a variety of lang...
research
02/14/2016

Large-Scale Reasoning with OWL

With the growth of the Semantic Web in size and importance, more and mor...

Please sign up or login with your details

Forgot password? Click here to reset