Ontological Query Answering via Rewriting
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- On rules with existential variables: Walking the decidability lineArtificial Intelligence, 2011
- Tractable Query Answering over Conceptual SchemataLecture Notes in Computer Science, 2009
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite FamilyJournal of Automated Reasoning, 2007
- Data exchange: semantics and query answeringTheoretical Computer Science, 2004
- The Expressive Power of Stratified Logic Programs with Value InventionInformation and Computation, 1998
- Undecidable optimization problems for database logic programsJournal of the ACM, 1993
- Testing containment of conjunctive queries under functional and inclusion dependenciesJournal of Computer and System Sciences, 1984
- The implication problem for data dependenciesLecture Notes in Computer Science, 1981
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976