A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.

Alexander Borgida Peter F. Patel-Schneider A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. 277-308 1994 1 J. Artif. Intell. Res. (JAIR) db/journals/jair/jair1.html#BorgidaP94