A Terminological Knowledge Representation System with Complete Inference Algorithms (1991)

Cached

Download Links

by Franz Baader , Bernhard Hollunder
Venue:In Proceedings of the First International Workshop on Processing Declarative Knowledge
Citations:95 - 18 self