Model comparison games for Horn description logics

DOI10.5555/3470152.3470156MaRDI QIDQ6654469FDOQ6654469

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

Publication date: 19 December 2024

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

Mathematics Subject Classification ID

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

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)