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

Authors:
David Toman;Grant Weddell
Affiliations:
Department of Computer Science, School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ont., Canada N2L 3G1;Department of Computer Science, School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, Ont., Canada N2L 3G1
Venue:
Theoretical Computer Science - Database theory
Year:
2005

Citing 26
Cited 12

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming
A fixpoint semantics for disjunctive logic programs

Journal of Logic Programming
Functional deductive databases: query processing in the presence of limited function symbols

Functional deductive databases: query processing in the presence of limited function symbols
Functional dependencies in Horn clause queries

ACM Transactions on Database Systems (TODS)
Attributive concept descriptions with complements

Artificial Intelligence
Tree automata, Mu-Calculus and determinacy

SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Reasoning about functional dependencies generalized for semantic data models

ACM Transactions on Database Systems (TODS)
Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
Finite representation of infinite query answers

ACM Transactions on Database Systems (TODS)
Regular Article: Implication problems for functional constraints on databases supporting complex objects

Proceedings of the 30th IEEE symposium on Foundations of computer science
Fundamental techniques for order optimization

SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
The art of computer programming, volume 3: (2nd ed.) sorting and searching

The art of computer programming, volume 3: (2nd ed.) sorting and searching
Keys for XML

Proceedings of the 10th international conference on World Wide Web
Foundations of Logic Programming

Foundations of Logic Programming
A normal form for XML documents

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On verifying consistency of XML specifications

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Declarative problem-solving using the DLV system

Logic-based artificial intelligence
On XML integrity constraints in the presence of DTDs

Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Adding Uniqueness Constraints to Description Logics (Preliminary Report)

DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Constraint-Generating Dependencies

ICDT '95 Proceedings of the 5th International Conference on Database Theory
Automata for the Modal mu-Calculus and related Results

MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
Procedural Interpretation of Non-Horn Logic Programs

Proceedings of the 9th International Conference on Automated Deduction
Identification constraints and functional dependencies in description logics

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Instantiation of Relations for Semantic Annotation

WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
On Keys and Functional Dependencies as First-Class Citizens in Description Logics

Journal of Automated Reasoning
Propagating functional dependencies with conditions

Proceedings of the VLDB Endowment
Reasoning within intuitionistic fuzzy rough description logics

Information Sciences: an International Journal
Pushing the EL envelope

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the interaction between inverse features and path-functional dependencies in description logics

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Applications and extensions of PTIME description logics with functional constraints

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On order dependencies for the semantic web

ER'07 Proceedings of the 26th international conference on Conceptual modeling
Knowledge representation and reasoning of XML with ontology

Proceedings of the 2011 ACM Symposium on Applied Computing
On keys and functional dependencies as first-class citizens in description logics

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Construction of fuzzy ontologies from fuzzy XML models

Knowledge-Based Systems
Representing and Reasoning About XML with Ontologies

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define a boolean complete dialect of description logic 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 possibly infinite sets of 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.