Optimised reasoning for shiq (2002)

by I Horrocks, U Sattler
Venue:In Proc. of the 15th European Conf. on Artificial Intelligence (ECAI