On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Conceptual Data Model with Structured Objects for Statistical Database
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
A Knowledge Based Paradigm for Querying Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Bringing Together Description Logics and Database in an Object Oriented Model
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
Reasoning on UML class diagrams
Artificial Intelligence
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Complexity of Reasoning With Expressive Ontology Mappings
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Hi-index | 0.00 |