18 citations · 19 across the 8 of their papers we have counts for
1 paper · 1 filter
A. Borgida, P. F. Patel-Schneider
This paper analyzes the correctness of the subsumption algorithm used in CLASSIC, a description logic-based knowledge representation system that is being used in practical applicat…