On the complexity of (restricted) \(\mathcal{ALCI}r\)

DOI10.2298/PIM1409133MzbMATH Open1349.68241OpenAlexW2053995994MaRDI QIDQ2815247

Milenko Mosurovic, Michael Zakharyaschev

Publication date: 27 June 2016

Published in: Publications de l'Institut Mathématique. Nouvelle Série (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2298/pim1409133m

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

description logicrole inclusion axiom

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

This page was built for publication: On the complexity of (restricted) \(\mathcal{ALCI}r\)

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