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

by Alex Borgida , Peter F. Patel-Schneider
Venue:Journal of Artificial Intelligence Research
Citations:161 - 14 self