Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Proceedings of the 30th IEEE symposium on Foundations of computer science
Constraint-generating dependencies
Journal of Computer and System Sciences
Adding Uniqueness Constraints to Description Logics (Preliminary Report)
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Relationships with other formalisms
The description logic handbook
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Keys, nominate, and concrete domains
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
On keys and functional dependencies as first-class citizens in description logics
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Hi-index | 0.00 |
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies underlie a number of problems that relate, for example, to web service composition, to document ordering, and to lower level algorithmic issues in service plan generation and evaluation.