A semantics and complete algorithm for subsumption in the CLASSIC description logic system (1994)

by Alex Borgida, Peter F Patel-Schneider
Venue:J. Artificial Intelligence Research