Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies

Sebastian RudolphSebastian Rudolph, Michael SchneiderMichael Schneider

Download

Sebastian Rudolph, Michael Schneider
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, eds., Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011, volume 6828 of LNCS, 19-34, July 2011. Springer

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. 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 of decidability and weigh its importance in different scenarios. Subsequently, we discuss 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. While elaborating on the undecidable variants of the ontology language OWL 2 as our primary examples, we argue that this approach could likewise serve as a role model for knowledge representation formalisms from the Conceptual Structures community.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic

The final publication is available at Springer.

@inproceedings{RS2011,
  author    = {Sebastian Rudolph and Michael Schneider},
  title     = {Utility and Feasibility of Reasoning beyond Decidability in
               Semantic Technologies},
  editor    = {Simon Andrews and Simon Polovina and Richard Hill and Babak
               Akhgar},
  booktitle = {Conceptual Structures for Discovering Knowledge, Proceedings of
               {ICCS} 2011},
  series    = {LNCS},
  volume    = {6828},
  publisher = {Springer},
  year      = {2011},
  month     = {July},
  pages     = {19-34}
}