Title: The KL-ONE family
Subjects: Artificial intelligence, Knowledge representation (Information theory)