The even more irresistible SROIQ (2006)

by Ian Horrocks, Oliver Kutz, Ulrike Sattler
Venue:in: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006