Exact Query Reformulation over Databases with First-order and Description Logics Ontologies

DOI10.1613/jair.4058zbMath1314.68118OpenAlexW2149784986WikidataQ129493781 ScholiaQ129493781MaRDI QIDQ2871462

Enrico Franconi, Nhung Ngo, Volha Kerhet

Publication date: 8 January 2014

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

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

zbMATH Keywords

description logicquery reformulationdatabase signaturefirst-order ontology

Mathematics Subject Classification ID

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

Related Items (2)

Exact Query Reformulation with First-Order Ontologies and Databases ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

This page was built for publication: Exact Query Reformulation over Databases with First-order and Description Logics Ontologies