Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note
| dc.creator | Riazanov, Alexandre | |
| dc.date | 2009-01-03 | |
| dc.date | 2009-05-03 | |
| dc.date.accessioned | 2026-07-07T13:10:47Z | |
| dc.date.available | 2026-07-07T13:10:47Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/0901.0339 | |
| dc.identifier | http://arxiv.org/abs/0901.0339 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/229095 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Databases | |
| dc.title | Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note | |
| dc.type | text |