Writing

An Overview of the KL-ONE Knowledge Representation System

Brachman and Schmolze's 1985 account of KL-ONE, a frame-based system with defined concepts and an automatic classifier that places each concept in a subsumption hierarchy; KL-ONE was the first knowledge representation system based on what became description logics.

Read the paper DOI

Also at Crossref record

Part of the thread Expressiveness against tractability proposes

influenced

authored by