Computer Science – Logic in Computer Science
Scientific paper
2009-01-03
Computer Science
Logic in Computer Science
Scientific paper
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.
No associations
LandOfFree
Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-456097