Editing KL-ONE

{{distinguish|KL1}}

{{Technical|date=November 2022}}
'''KL-ONE''' (pronounced "kay ell won") is a [[knowledge representation]] system in the tradition of [[semantic networks]] and [[Frame (Artificial intelligence) | 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.<ref>{{Cite journal | last1 = Woods | first1 = W. A. | author-link1 = William Aaron Woods| last2 = Schmolze | first2 = J. G. | doi = 10.1016/0898-1221(92)90139-9 | title = The KL-ONE family | journal = Computers & Mathematics with Applications | volume = 23 | issue = 2–5 | pages = 133 | year = 1992 | url=https://cse.buffalo.edu/~rapaport/Papers/Papers.by.Others/woods.schmolze.92.pdf | doi-access = free }}</ref><ref>{{Cite journal | last1 = Brachman | first1 = R. J. | author-link1 = Ronald J. Brachman| last2 = Schmolze | first2 = J. G. | doi = 10.1207/s15516709cog0902_1 | title = An Overview of the KL-ONE Knowledge Representation System | journal = Cognitive Science | volume = 9 | issue = 2 | pages = 171 | year = 1985 | s2cid = 11270484 | doi-access = free }}</ref><ref>{{cite book | last = D.A. Duce | first = G.A. Ringland | title = Approaches to Knowledge Representation, An Introduction | year = 1988 | publisher = Research Studies Press, Ltd. | isbn = 978-0-86380-064-1 | url-access = registration | url = https://archive.org/details/approachestoknow0000unse }}</ref>

==Overview==
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 [[superclass (computer science)|super class]] is said to subsume its [[Subclass (computer science) | 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.

==See also==
* [[Ontology language]]

==References==
{{Reflist}}

[[Category:Knowledge representation]]
[[Category:Ontology languages]]