How to Decide Query Containment under Constraints Using a Description Logic
- 2 July 2002
- book chapter
- Published by Springer Nature
- p. 326-343
- https://doi.org/10.1007/3-540-44404-1_21
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Reasoning with Individuals for the Description Logic $\mathcal{SHIQ}$Published by Springer Nature ,2000
- A description logic with transitive and inverse roles and role hierarchiesJournal of Logic and Computation, 1999
- Practical Reasoning for Expressive Description LogicsPublished by Springer Nature ,1999
- Description Logics for Conceptual Data ModelingPublished by Springer Nature ,1998
- Conjunctive query containment revisitedPublished by Springer Nature ,1996
- Structured objects: Modeling and reasoningPublished by Springer Nature ,1995
- Reasoning with individuals in concept languagesData & Knowledge Engineering, 1994
- REPRESENTING AND USING INTERSCHEMA KNOWLEDGE IN COOPERATIVE INFORMATION SYSTEMSInternational Journal of Cooperative Information Systems, 1993
- Testing containment of conjunctive queries under functional and inclusion dependenciesJournal of Computer and System Sciences, 1984
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979