On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Semantic Query Optimization for ODMG-93 Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
The description logic handbook
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
Journal of Automated Reasoning
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
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
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
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 |