Classification in the KL-ONE Knowledge Representation System

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 relation between Concepts is defined which is related to set inclusion by way of a semantics for Concepts. This subsumption relation defines a partial order on Concepts, and KL-ONE organizes all Concepts into a taxonomy that reflects this partial order. Classification is a process 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 taxonomy. We discuss these issues and demonstrate some uses of the classification algorithm.

Cite

Text

Schmolze and Lipkis. "Classification in the KL-ONE Knowledge Representation System." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Schmolze and Lipkis. "Classification in the KL-ONE Knowledge Representation System." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/schmolze1983ijcai-classification/)

BibTeX

@inproceedings{schmolze1983ijcai-classification,
  title     = {{Classification in the KL-ONE Knowledge Representation System}},
  author    = {Schmolze, James G. and Lipkis, Thomas A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {330-332},
  url       = {https://mlanthology.org/ijcai/1983/schmolze1983ijcai-classification/}
}