KL-ONE

From GM-RKB
Jump to: navigation, search

A KL-ONE is a frame-based system that is used as a deductive classifier in automated reasoning of structured inheritance networks.



References

2017

There is a whole family of KL-ONE-like systems. One of the innovations that KL-ONE initiated was the use of a deductive classifier, an automated reasoning engine that can validate a frame ontology and deduce new information about the ontology based on the initial information provided by a domain expert.
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 (usually 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.

1999

  • (Nebel, 1999) ⇒ Bernhard Nebel, (1999). https://www.csee.umbc.edu/courses/771/papers/nebel.html
    • These two points are addressed by the so-called description logics (also called terminological logics, concept languages, and attributive description languages; Nebel and Smolka 1991), which formalize the declarative part of frame-based systems and grew out of the development of the frame-based system KL-ONE (Brachman and Schmolze 1985). In description logics, it is possible to build up a concept hierarchy out of atomic concepts (interpreted as unary predicates and denoted by capitalized words) and attributes, usually called roles (interpreted as binary predicates and denoted by lowercase words). The intended meaning of atomic concepts can be specified by providing concept descriptions made up of other concepts and role restrictions, as in the following informal example:
      • Woman = Person and Female
      • Parent = Person with some child
      • Grandmother = Woman with some child who is a Parent

1985



  1. Woods, W. A.; Schmolze, J. G. (1992). "The KL-ONE family". Computers & Mathematics with Applications 23 (2–5): 133. doi:10.1016/0898-1221(92)90139-9. 
  2. Brachman, R. J.; Schmolze, J. G. (1985). "An Overview of the KL-ONE Knowledge Representation System". Cognitive Science 9 (2): 171. doi:10.1207/s15516709cog0902_1. 
  3. D.A. Duce, G.A. Ringland (1988). Approaches to Knowledge Representation, An Introduction. Research Studies Press, Ltd.. ISBN 0-86380-064-5.