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

Sebastian RudolphSebastian Rudolph, Michael SchneiderMichael Schneider

Download

Sebastian Rudolph, Michael Schneider
On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms
Technical Report, Institut AIFB, KIT, July 2011. Technical Report

Details
Bibtex

KurzfassungAbstract
Semantic Web knowledge representation standards such as RDF and OWL have gained momentum in the last years and are widely applied today. A central design criterion for defining Semantic Web knowledge representation formalisms has often been that logical entailment has to be decidable. On the other hand, requiring decidable formalisms inevitably comes with constraints in terms of modeling power. In this paper we try to take a closer look at this requirement and discuss its importance in different scenarios. More concretely, we examine the modeling capabilities of undecidable ontology languages, such as OWL 2 Full, and propose the deployment of machinery from the successful domain of first-order theorem proving for obtaining incomplete - yet useful - reasoning support. We argue that this approach could act as a role model for knowledge representation formalisms from the Conceptual Structures community.
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@techreport{RS2011,
  author      = {Sebastian Rudolph and Michael Schneider},
  title       = {On the Utility and Feasibility of Reasoning with Undecidable
                 Semantic Web Formalisms},
  institution = {Institut {AIFB,} {KIT}},
  year        = {2011},
  month       = {July}
}