The even more irresistible SROIQ. (2006)

by I Horrocks, O Kutz, U Sattler
Venue:Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR’06),