KL-ONE

related topics
{math, number, function}
{theory, work, human}
{system, computer, user}

KL-ONE is a well known knowledge representation system in the tradition of semantic networks and frames; that is, it is a frame language. The system is an attempt to overcome semantic indistinctness in semantic network representations and to explicitly represent conceptual information as a structured inheritance network.

There is a whole family of KL-ONE-like systems.

Frames in KL-ONE are called concepts. These form hierarchies using subsume-relations; in the KL-ONE terminology a super class is said to subsume its subclasses. Multiple inheritance is allowed. Actually a concept is said to be well-formed only if it inherits from more than one other concept. All concepts, except the top concept Thing, must have at least one super class.

In KL-ONE descriptions are separated into two basic classes of concepts: primitive and defined. Primitives are domain concepts that are not fully defined. This means that given all the properties of a concept, this is not sufficient to classify it. They may also be viewed as incomplete definitions. Using the same view, defined concepts are complete definitions. Given the properties of a concept, these are necessary and sufficient conditions to classify the concept.

The slot-concept is called roles and the values of the roles are role-fillers. There are several different types of roles to be used in different situations. The most common and important role type is the generic RoleSet that captures the fact that the role may be filled with more than one filler.

See also

References

  • R.J. Brachman and J. Schmolze, "An Overview of the KL-ONE Knowledge Representation System", Cognitive Sci 9(2), 1985.
  • D.A. Duce, G.A. Ringland (1988). Approaches to Knowledge Representation, An Introduction. Research Studies Press, Ltd.. ISBN 0-86380-064-5. 

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.

Full article ▸

related documents
Randomization
Abraham Robinson
Charles Émile Picard
Relational database management system
Fibonacci
Canonical Encoding Rules
Spaced repetition
Simple module
Centralizer and normalizer
RIPEMD
Statistical model
Elementary event
Euler-Jacobi pseudoprime
Star height problem
Landau's function
Pedal triangle
Liouville function
List of basic mathematics topics
Sequential access
Location parameter
Cfront
Face (geometry)
Tomaž Pisanski
XPointer
Unknot
Persistence
XBasic
Central moment
Entropy encoding
CycL