A decidable extension of SROIQ with complex role chains and unions

DOI10.1613/JAIR.4022MaRDI QIDQ2846571zbMATH OpenOpenAlexFDO

Authors Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev

Publication date 6 September 2013

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4022

Mathematics Subject Classification ID

Knowledge representation (68T30) Machine vision and scene understanding (68T45)

Recommendations

• An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
• Decidability of SHIQ with complex role inclusion axioms
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$

Cited in

(4)

• Decidability of SHIQ with complex role inclusion axioms
• An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Query rewriting under linear \(\mathcal {EL}\) knowledge bases

This page was built for publication: A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions

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