Query Answering in the Description Logic Horn- \mathcal{SHIQ}

DOI10.1007/978-3-540-87803-2_15MaRDI QIDQ3532465zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Šimkus

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_15

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
• Conjunctive query answering for the description logic SHIQ
• Data complexity of query answering in expressive description logics via tableaux
• The Complexity of Conjunctive Query Answering in Expressive Description Logics
• scientific article; zbMATH DE number 1614719

Cites work

• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Conjunctive query answering for the description logic SHIQ
• Data Complexity in the $\mathcal{EL}$ Family of Description Logics
• Data complexity of query answering in description logics
• Optimized Reasoning in Description Logics Using Hypertableaux
• Taming the infinite chase: query answering under expressive relational constraints
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

Cited in

(10)

• A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\)
• Modal definability of first-order formulas with free variables and query answering
• Games for query inseparability of description logic knowledge bases
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$
• Query Answering in Description Logics: The Knots Approach
• Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
• Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
• Reasoning and query answering in description logics
• Model comparison games for Horn description logics

This page was built for publication: Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$

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