A decidable extension of SROIQ with complex role chains and unions

DOI10.1613/JAIR.4022zbMATH Open1270.68298OpenAlexW2147357772MaRDI QIDQ2846571FDOQ2846571

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

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}$

Mathematics Subject Classification ID

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

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)