Optimising Description Logic Subsumption (1999)

by Ian Horrocks , Peter F. Patel-Schneider
Venue:Journal of Logic and Computation
Citations:55 - 17 self