On reasoning about structural equality in XML: a description logic approach

DOI10.1016/j.tcs.2004.10.036zbMath1080.68022OpenAlexW2616150629MaRDI QIDQ555777

David Toman, Grant E. Weddell

Publication date: 10 June 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.10.036

zbMATH Keywords

XML schemaDescription logicsFunctional dependencies

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Reasoning within intuitionistic fuzzy rough description logics, On keys and functional dependencies as first-class citizens in description logics

Uses Software

• XQuery

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Alternation and the Ackermann case of the decision problem
• Constraint-generating dependencies
• Solvable cases of the decision problem
• A fixpoint semantics for disjunctive logic programs
• On XML integrity constraints in the presence of DTDs
• Automata for the modal μ-calculus and related results
• Representing and reasoning on XML documents: a description logic approach
• Implication problems for functional constraints on databases supporting complex objects
• The classical decision problem.