Optimizing Description Logic Subsumption

Has publishing details 9(3):267-293, 1999

Has title Optimizing Description Logic Subsumption

Has url http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom9.html#HorrocksP99

Has where published J. Log. Comput.

Has year 1999

Has author Ian Horrocks +, Peter F. Patel-Schneider +

Has identifier Optimizing Description Logic Subsumption +

Categories Journal Paper +