Ontology Reasoning in the SHOQ(D) Description Logic (2001)

by I Horrocks, U Sattler
Venue:Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence