Return to Article Details A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic Download Download PDF