Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
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
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)
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
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
ACM Transactions on Database Systems (TODS)
The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
Proceedings of the 10th international conference on World Wide Web
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
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
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Automata for the Modal mu-Calculus and related Results
MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Keys, nominate, and concrete domains
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
| Hi-index | 0.00 |
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 DatalognS驴, 卢 and in turn to the Ackermann case of the decision problem.