Exact query reformulation over databases with first-order and description logics ontologies

DOI10.1613/JAIR.4058MaRDI QIDQ2871462zbMATH OpenOpenAlexWikidataFDO

Authors Enrico Franconi, Volha Kerhet, Nhung Ngo

Publication date 8 January 2014

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4058

zbMATH Keywords

database signaturedescription logicfirst-order ontologyquery reformulation

Mathematics Subject Classification ID

Classical first-order logic (03B10) Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Review text

The paper puts forward a framework for database query reformulation by a first-order ontology under a locally-closed world presumption, where database predicates are closed.NEWLINENEWLINEThe framework provides conditions for the existence of a safe-range reformulation, which can be assessed as a relational algebra query that outputs the same response as the original one. An application of the proposed framework in the ALCHOIQ description logic is also discussed.NEWLINENEWLINEFrom my research perspective, what I find most interesting about the future directions of this study is the idea of selecting, from the many possible reformulations of the original query, an optimal one while having to deal with actually many existing criteria.

Recommendations

• Exact query reformulation with first-order ontologies and databases
• Query Rewriting and Optimization for Ontological Databases
• Rewriting Conjunctive Queries over Description Logic Knowledge Bases
• Tractable query answering and rewriting under description logic constraints
• Query answering over description logic ontologies
• On the succinctness of query rewriting over shallow ontologies

Cited in

(8)

• Effective query answering with ontologies and DBoxes
• scientific article; zbMATH DE number 1696849 (Why is no real title available?)
• Exact query reformulation with first-order ontologies and databases
• Query Rewriting and Optimization for Ontological Databases
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Range-restricted and Horn interpolation through clausal tableaux
• Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
• Deciding the existence of interpolants and definitions in first-order modal logic

This page was built for publication: Exact query reformulation over databases with first-order and description logics ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2871462)