![](/img/cover-not-exists.png)
Deduction in Concept Languages: from Subsumption to Instance Checking
DONINI, FRANCESCO M., LENZERINI, MAURIZIO, NARDI, DANIELE, SCHAERF, ANDREAVolume:
4
Year:
1994
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/4.4.423
File:
PDF, 1.57 MB
english, 1994