P.F.: A semantics and complete algorithm for subsumption in the CLASSIC description logic (1994)

by A Borgida, Patel Schneider
Venue:J. of Artificial Intell. Res