KL-ONE

A frame language.

"An Overview of the KL-ONE Knowledge Representation System", R. J. Brachman and J. Schmolze, Cognitive Science 9(2), 1985.