activity
19942020
most citedExtensible Knowledge Representation: the Case of Description Reasoners

6 citations · 7 across the 5 of their papers we have counts for

collaborators
Showing 1994 · cs.AIShow all

1 paper · 2 filters

cs.AI1994

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

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…