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

Cached

Download Links

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