Comparing subsumption optimizations (1998)

by I Horrocks, P F Patel-Schneider
Venue:Collected Papers from the International Description Logics Workshop (DL’98