Sciweavers

ICDT
2003
ACM

On Reasoning about Structural Equality in XML: A Description Logic Approach

14 years 4 months ago
On Reasoning about Structural Equality in XML: A Description Logic Approach
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of document type definitions. This application depends on the novel ability of DLFDreg to express functional dependencies over sets of possibly infinite feature paths defined by regular languages. We also present a decision procedure for the associated logical implication problem. The procedure underlies a mapping of such problems to satisfiability problems of Datalog∨,¬ nS and in turn to the Ackermann case of the decision problem.
David Toman, Grant E. Weddell
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ICDT
Authors David Toman, Grant E. Weddell
Comments (0)