Abstract
We address the problem of semantic querying of relational databases (RDB) modulo knowledge bases using very expressive knowledge representation formalisms, such as full first-order logic or its various fragments. We propose to use a resolution-based first-order logic (FOL) reasoner for computing schematic answers to deductive queries, with the subsequent translation of these schematic answers to SQL queries which are evaluated using a conventional relational DBMS. We call our method incremental query rewriting, because an original semantic query is rewritten into a (potentially infinite) series of SQL queries. In this chapter, we outline the main idea of our technique – using abstractions of databases and constrained clauses for deriving schematic answers, and provide completeness and soundness proofs to justify the applicability of this technique to the case of resolution for FOL without equality. The proposed method can be directly used with regular RDBs, including legacy databases. Moreover, we propose it as a potential basis for an efficient Web-scale semantic search technology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
RIF Basic Logic Dialect. http://www.w3.org/TR/rif-bld/
The Rule Markup Initiative Web Site. http://www.ruleml.org/
W3C SWRL Submission:. http://www.w3.org/Submission/SWRL/
A. Ranganathan, Liu, Z.: Information Retrieval from Relational Databases using Semantic Queries. In: Proc. ACM CIKM, pp. 820–821 (2006)
Arens, Y., Chee, C.Y., Hsu, C.N., Knoblock, C.A.: Retrieving and Integrating Data from Multiple Information Sources. International Journal on Intelligent and Cooperative Information Systems 2(2), 127–158 (1993)
Bachmair, L., Ganzinger, H.: Resolution Theorem Proving. In: Handbook of Automated Reasoning, vol. I (2001)
Bizer, C.: D2RQ - Treating Non-RDF Databases as Virtual RDF Graphs. In: ISWC 2004
Boley, H.: The RuleML Family of Web Rule Languages. In: PPSWR06 (2006)
Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. In: ISWC, pp. 54–68 (2002)
Bürckert, H.J., Nutt, W.: On Abduction and Answer Generation through Constrained Resolution. Tech. Rep. DFKI RR-92-51 (1992)
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. In: DL-07 (2007)
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable Description Logics for Ontologies. In: AAAI’05, pp. 602–607 (2005)
Chen, C.M., Haarslev, V., Wang, J.Y.: LAS: Extending Racer by a Large Abox Store. In: DL-2005
Dolby, J., Fokoue, A., Kalyanpur, A., Ma, L., Patel, C., Schonberg, E., Srinivas, K., Sun, X.: Efficient reasoning on large SHIN Aboxes in relational databases (2007). (unpublished)
Dou, D., LePendu, P., Kim, S., Qi, P.: Integrating Databases into the Semantic Web through an Ontology-based Framework. In: International Workshop on Semantic Web and Databases at ICDE 2006 (2006)
Dou, D., McDermott, D., Qi, P.: Ontology Translation on the Semantic Web. Journal of Data Semantics 2, 35–37 (2005)
Guo, Y., Heflin, J., Pan, Z.: An Evaluation of Knowledge Base Systems for Large OWL Datasets. In: ISWC 2004, pp. 613–627 (2004)
Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. In: DL’04 (2004)
Jaffar, J., Maher, M.J.: Constraint Logic Programming: a Survey. Journal of Logic Programming 19(20), 503–581 (1994)
Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD Thesis (2006)
Nieuwenhuis, R., Rubio, A.: Paramodulation-Based Theorem Proving. In: A. Robinson, A. Voronkov (eds.) Handbook of Automated Reasoning, vol. I (2001)
O’Connor, M., Shankar, R., Tu, S., Nyulas, C., Das, A., Musen, M.: Efficiently Querying Relational Databases Using OWL and SWRL. In: RR 2007 (2007)
O’Connor, M., Shankar, R., Tu, S., Nyulas, C., Parrish, D., Musen, M., Das, A.: Using Semantic Web Technologies for Knowledge-Driven Querying of Biomedical Data. In: AIME 07 (2007)
Pan, Z., Heflin, J.: DLDB: Extending Relational Databases to Support Semantic Web Queries. In: Workshop on Practical and Scaleable Semantic Web Systems, ISWC 2003 (2003)
Paton, N.W., Stevens, R., Baker, P., Goble, C.A., Bechhofer, S., Brass, A.: Query Processing in the TAMBIS Bioinformatics Source Integration System. In: SSDBM (1999)
Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill (2003)
Riazanov, A., Voronkov, A.: The Design a nd Implementation of Vampire. AI Communications 15(2-3), 91–110 (2002)
Rishe, N.: SemanticSQL: A Semantic Wrapper for Relational Databases. http://n1.cs.fiu.edu/semantic.wrapper.pdf (2004). (white paper)
Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall (2003)
Sutcliffe, G., Suttner, C.: The TPTP Problem Library. TPTP v. 2.4.1. Tech. rep., University of Miami (2001)
Tammet, T.: Gandalf. Journal of Automated Reasoning 18(2), 199–204 (1997)
Tammet, T., Kadarpik, V., Haav, H.M., Kaaramees, M.: A Rule-based Approach to Web-based (Database) Application Development. In: 7th International Baltic Conference on Databases and Information Systems, pp. 202–208 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer US
About this paper
Cite this paper
Riazanov, A., Aragão, M.A.T. (2010). Incremental Query Rewriting with Resolution. In: Du, W., Ensan, F. (eds) Canadian Semantic Web. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-7335-1_1
Download citation
DOI: https://doi.org/10.1007/978-1-4419-7335-1_1
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-7334-4
Online ISBN: 978-1-4419-7335-1
eBook Packages: Computer ScienceComputer Science (R0)