A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic - Borgida, A; Patel-Schneider, PF (J Art Intell Research, 1994)