An Overview of the KL-One Knowledge Representation System (1985)onlinelibrary.wiley.com·2 pts·uni_rule·0