Deduction in Concept Languages: From Subsumption to Instance Checking (1994)

View PDF

Download Links

by Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Andrea Schaerf
Venue:Journal of Logic and Computation
Citations:84 - 21 self