English

Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note

Logic in Computer Science 2009-05-03 v3 Databases

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 first-order logic (FOL) reasoner for computing schematic answers to deductive queries, with the subsequent instantiation of these schematic answers using a conventional relational DBMS. In this research note, we outline the main idea of this technique -- using abstractions of databases and constrained clauses for deriving schematic answers. The proposed method can be directly used with regular RDB, including legacy databases. Moreover, we propose it as a potential basis for an efficient Web-scale semantic search technology.

Keywords

Cite

@article{arxiv.0901.0339,
  title  = {Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note},
  author = {Alexandre Riazanov},
  journal= {arXiv preprint arXiv:0901.0339},
  year   = {2009}
}
R2 v1 2026-06-21T11:57:20.438Z