Borgida, A.; Patel-Schneider, P.F. A semantics and complete algorithm for subsumption in the CLASSIC description logic, Journal of Artificial Intelligence Research 1 (1994) 277-308.

Languages mentioned

• CLASSIC {1989}