Query answering with DBoxes is hard

DOI10.1016/J.ENTCS.2011.10.007zbMATH Open1347.68321OpenAlexW2085489403WikidataQ113318199 ScholiaQ113318199MaRDI QIDQ2825409

Enrico Franconi, İnanç Seylan, Yazmín Angélica Ibáñez-García

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.007

zbMATH Keywords

model theoryconjunctive queriesdescription logicshybrid logic

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Data complexity of query answering in description logics
• Tableau methods for modal and temporal logics
• Combining Horn rules and description logics in CARIN
• Data complexity of query answering in expressive description logics via tableaux
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!

Cited In (6)

• Query answering in circumscribed OWL2 profiles
• Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
• Title not available (Why is that?)
• Exact Query Reformulation with First-Order Ontologies and Databases

This page was built for publication: Query answering with DBoxes is hard

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