---
title: "Classification in the KL-ONE Knowledge Representation System"
authors:
  - "James G. Schmolze"
  - "Thomas A. Lipkis"
doi: ""
url: "https://ijcai.org/proceedings/1983/76"
pdf: "https://ijcai.org/proceedings/1983/0076.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "330-331"
track: "Knowledge Representation"
keywords:
---

# Classification in the KL-ONE Knowledge Representation System

James G. Schmolze, Thomas A. Lipkis

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 330-331.

## Abstract

KL-ONE lets one define and use a class of descriptive terms called Concepts , where each Concept denotes a set of objects. A subsumption relat1o n between Concepts is defined . which is related to se t mclusion by wa y of a semantics for Concepts . This subsumption relat ion defines a partia l order on Concepts , and KL-ONE organ izes all Concepts into a ta xonomy that reflects this partial order . Class ification is a proc ess that takes a new Concept and determines other Concepts that either subsume it or that it subsumes , thereby determining the location for the new Concept within a given taxonom y. We discuss these issues and demonstrate some uses of the classification algo rit hm.