Corpus ID: 40630090

On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms

  title={On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms},
  author={Sebastian Rudolph and Michael Schneider},
Semantic Web knowledge representation standards such as RDF and OWL have gained momentum in the last years and are widely applied today. In the course of the standardization process of these and other knowledge representation formalisms, decidability of logical entailment has often been advocated as a central design criterion. On the other hand, restricting to decidable formalisms inevitably comes with constraints in terms of modeling power. Therefore, in this paper, we examine the requirement… Expand
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
A way to establish incomplete - yet useful - reasoning support for undecidable formalisms by deploying machinery from the successful domain of theorem proving in first-order predicate logic is discussed. Expand


Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving
A large fragment of the OWL 2 Full semantics is translated into firstorder logic, and automated theorem proving systems are used to do reasoning based on this theory. Expand
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
This work presents a decidability result for entailment of unions of conjunctive queries in the DL ALCHOIQb that contains all three problematic constructors simultaneously and believes that the presented results will pave the way for further progress towards conj unctive query entailment decision procedures for the Description Logics underlying the OWL standards. Expand
Foundations of Semantic Web Technologies
This book concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange and querying, RDFS and OWL provide expressive ontology modeling, and RIF supports rule-based modeling. Expand
Using Vampire to Reason with OWL
This paper reports on some experiments designed to explore the feasibility of using existing general-purpose FOL provers to reason with OWL DL, and extends the approach to SWRL, a proposed rule language extension to OWL. Expand
OWL 2 Web Ontology Language: structural specification and functional-style syntax
The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and dataExpand
OWL 2 Web Ontology Language
TheManchester Syntax is used in the OWL 2 Primer, and this document provides the language used there; it is expected that tools will extend the Manchester Syntax for their own purposes, and tool builders may collaboratively extend the common language. Expand
OWL 2 Web Ontology Language Direct Semantics
This document provides the direct model-theoretic semantics for OWL 2, which is compatible with the description logic SROIQ, and defines the most common inference problems for OWl 2. Expand
OWL 2 Web Ontology Language: Profiles
This document provides a specification of several profiles of OWL 2 which can be more simply and/or efficiently implemented and modified by modifying the productions of the functional-style syntax. Expand
Rdf vocabulary description language 1.0 : Rdf schema
This specification describes how to use RDF to describe RDF vocabularies and defines other built-in RDF vocabulary initially specified in the RDF Model and Syntax Specification. Expand
OWL 2 Web Ontology Language RDF-Based Semantics
This document defines the RDF-compatible model-theoretic semantics of OWL 2, which is an ontology language for the Semantic Web with formally defined meaning. Expand