Adding Uniqueness Constraints to Description Logics (Preliminary Report)
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Extensions of Concept Languages for a Mechanical Engineering Application
GWAI '92 Proceedings of the 16th German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
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
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 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 |
Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...