Adapting materialized views after redefinitions
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Query Rewriting with Symmetric Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
InfoScale '06 Proceedings of the 1st international conference on Scalable information systems
The foundational model of anatomy in OWL: Experience and perspectives
Web Semantics: Science, Services and Agents on the World Wide Web
Defining a session on Web search engines: Research Articles
Journal of the American Society for Information Science and Technology
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
The Complexity of Conjunctive Query Answering in Expressive Description Logics
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Characterizing data complexity for conjunctive query answering in expressive description logics
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Efficient Query Answering for OWL 2
ISWC '09 Proceedings of the 8th International Semantic Web Conference
The DL-lite family and relations
Journal of Artificial Intelligence Research
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Journal on data semantics X
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
On rules with existential variables: Walking the decidability line
Artificial Intelligence
Ontological queries: Rewriting and optimization
ICDE '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering
Optimized query rewriting for OWL 2 QL
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Repairing ontologies for incomplete reasoners
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform
Proceedings of the 21st international conference companion on World Wide Web
Prexto: query rewriting under extensional constraints in DL-lite
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Query rewriting under ontology contraction
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
Ontologies expressed in description logics or extensions of datalog are gradually used for describing the domain of many research and industrial strength applications. They provide a formal semantically rich and data-independent layer over which user queries can be posed. A prominent technique for query answering in ontology-based applications is query rewriting, where the given user query Q and ontology O are transformed into a (datalog) program R that captures the answers of Q over O and every database D. In realistic scenarios it is quite often the case that users refine their original query by adding or removing constraints until they produce a final one. In such scenarios, however, all existing systems would compute a new rewriting R"i for each refined query Q"i from scratch, discarding any information possibly computed previously. In this paper we study the problem of computing a rewriting for a query Q^' which is a ''refinement'' of a query Q by exploiting as much as possible information possibly computed previously for Q. We investigate whether such information is usable when computing a rewriting for Q^' and present detailed algorithms. Finally, we have implemented all proposed algorithms and conducted an extensive experimental evaluation.