A Decidable Extension of SROIQ with Complex Role Chains and Unions

DOI10.1613/JAIR.4022zbMath1270.68298OpenAlexW2147357772MaRDI QIDQ2846571

Henson Graves, Milenko Mosurović, Nenad Krdžavac, Michael Zakharyashchev

Publication date: 6 September 2013

Published in: Journal of Artificial Intelligence Research (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)

Related Items (1)

Query Rewriting under Linear $$\mathcal {EL}$$ Knowledge Bases

This page was built for publication: A Decidable Extension of SROIQ with Complex Role Chains and Unions