A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic (1994)

by A Borgida, P Patel-Schneider
Venue:Journal of Artificial Intelligence Research