The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation

Citation