Incremental query rewriting with resolution

Canadian Semantic Web: Technologies and Applications

Volumn , Issue , 2010, Pages 1-26

  Riazanov, Alexandre ^a   Aragão, Marcelo A T ^b  

^a RuleML ^*  (United Kingdom)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FIRST ORDER LOGIC; KNOWLEDGE REPRESENTATION FORMALISM; LEGACY DATABASE; QUERY REWRITINGS; RELATIONAL DATABASES (RDB); SEMANTIC QUERYING; SEMANTIC SEARCH TECHNOLOGIES; SOUNDNESS PROOFS;

FORMAL LOGIC; KNOWLEDGE REPRESENTATION; RELATIONAL DATABASE SYSTEMS; WORLD WIDE WEB;

SEMANTIC WEB;

EID: 84878215924     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-4419-7335-1_1     Document Type: Conference Paper

References (32)

1. RIF Basic Logic Dialect. http://www.w3.org/TR/rif-bld/.
2. The Rule Markup Initiative Web Site. http://www.ruleml.org/.
3. W3C SWRL Submission:. http://www.w3.org/Submission/SWRL/.
4. A. Ranganathan, Liu, Z.: Information Retrieval from Relational Databases using Semantic Queries. In: Proc. ACM CIKM, pp. 820-821 (2006).
5. 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).
6. Bachmair, L., Ganzinger, H.: Resolution Theorem Proving. In: Handbook of Automated Reasoning, vol. I (2001).
7. Bizer, C.: D2RQ - Treating Non-RDF Databases as Virtual RDF Graphs. In: ISWC 2004.
8. Boley, H.: The Rule ML Family of Web Rule Languages. In: PPSWR06 (2006).
9. 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).
10. Bürckert, H.J., Nutt, W.: On Abduction and Answer Generation through Constrained Resolution. Tech. Rep. DFKI RR-92-51 (1992).
11. 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).
12. 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).
13. Chen, C.M., Haarslev, V., Wang, J.Y.: LAS: Extending Racer by a Large Abox Store. In: DL2005.
14. 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).
15. 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).
16. Dou, D., McDermott, D., Qi, P.: Ontology Translation on the Semantic Web. Journal of Data Semantics 2, 35-37 (2005).
17. Guo, Y., Heflin, J., Pan, Z.: An Evaluation of Knowledge Base Systems for Large OWL Datasets. In: ISWC 2004, pp. 613-627 (2004).
18. Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. In: DL'04 (2004).
19. Jaffar, J., Maher, M.J.: Constraint Logic Programming: a Survey. Journal of Logic Programming 19(20), 503-581 (1994).
20. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD Thesis (2006).
21. Nieuwenhuis, R., Rubio, A.: Paramodulation-Based Theorem Proving. In: A. Robinson, A. Voronkov (eds.) Handbook of Automated Reasoning, vol. I (2001).
22. 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).
23. 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).
24. 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).
25. 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).
26. Ramakrishnan, R., Gehrke, J.: Database Management Systems. McGraw-Hill (2003).
27. Riazanov, A., Voronkov, A.: The Design and Implementation of Vampire. AI Communications 15(2-3), 91-110 (2002).
28. Rishe, N.: Semantic SQL: A Semantic Wrapper for Relational Databaseshttp://n1.cs.fiu.edu/semantic.wrapper.pdf(2004). (white paper).
29. Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall (2003).
30. Sutcliffe, G., Suttner, C.: The TPTP Problem Library. TPTP v. 2.4.1. Tech. rep., University of Miami (2001).
31. Tammet, T.: Gandalf. Journal of Automated Reasoning 18(2), 199-204 (1997).
32. 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).