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)

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)