An extension of complex role inclusion axioms in the description logic SROIQ. (2010)

by Y Kazakov
Venue:In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010), LNCS.