Optimizing Description Logic Subsumption
Ian Horrocks and Peter F. Patel−Schneider
Annote
AKA: Horrocks98i
Journal
J. of Logic and Computation
Number
3
Pages
267–293
Volume
9
Year
1999
Ian Horrocks and Peter F. Patel−Schneider