Optimizing the evaluation of XPath using description logics

Authors:
Peter Baumgartner;Ulrich Furbach;Margret Gross-Hardt;Thomas Kleemann
Affiliations:
Institut für Informatik, Universität Koblenz-Landau, Koblenz, Germany;Institut für Informatik, Universität Koblenz-Landau, Koblenz, Germany;Institut für Informatik, Universität Koblenz-Landau, Koblenz, Germany;Institut für Informatik, Universität Koblenz-Landau, Koblenz, Germany
Venue:
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Year:
2004

Citing 6
Cited 0

Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Queries and Constraints on Semi-structured Data

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Hyper Tableaux

JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hyper Tableau - The Next Generation

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access this information. Common ways to access parts of a document use XPath-expressions. We provide a transformation of DTDs into a knowledge base in Description Logic. We use reasoning capabilities grounded in description logics to decide if a given XPath can be satisfied by a document, and to guide the search of XML-Processors into possibly successful branches of the document, thus avoiding parts of the document that will not yield results. The extension towards object oriented subclassing schemes opens this approach towards OODB-queries. In contrast to other approaches we do not use any kind of graph representing the document structure, and no steps towards incorporation of the XML/OODB-processor itself will be taken.