Introduction
Am empirical analysis of optimization techniques for terminological representation systems
Query by class, rule, and concept
Constraint satisfaction with an object-oriented knowledge representation language
Acquisition and validation of complex object database schemata supporting multiple inheritance
An efficient database transitive closure algorithm
Probabilistic multi-knowledge-base systems