Model comparison games for Horn description logics

DOI10.5555/3470152.3470156MaRDI QIDQ6654469zbMATH OpenFDO

Authors Jean Christoph Jung, Fabio Papacchini, F. Wolter, Michael Zakharyaschev

Publication date 19 December 2024

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Complexities of Horn description logics
• Horn knowledge bases in regular description logics with PTime data complexity
• A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$
• Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
• Games for query inseparability of description logic knowledge bases

This page was built for publication: Model comparison games for Horn description logics

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