An Overview of the KL-ONE Knowledge Representation System