Subsumption algorithms for concept description languages (1990)

by Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß
Venue:London (United Kingdom