KL-ONE (pronunciado "kay ell won") es un sistema de representación del conocimiento en la tradición de las redes y marcos semánticos ; es decir, es un lenguaje marco . El sistema es un intento de superar la indistinción semántica en las representaciones de redes semánticas y de representar explícitamente la información conceptual como una red de herencia estructurada. [1] [2] [3]
Existe toda una familia de sistemas similares a KL-ONE. Una de las innovaciones que inició KL-ONE fue el uso de un clasificador deductivo , un motor de razonamiento automatizado que puede validar una ontología de marco y deducir nueva información sobre la ontología en base a la información inicial proporcionada por un experto en el dominio.
Los fotogramas en KL-ONE se denominan conceptos . Éstos forman jerarquías usando relaciones de subsume; en la terminología KL-ONE un super clase se dice que subsumir sus subclases . Se permite la herencia múltiple . En realidad, se dice que un concepto está bien formado sólo si hereda de más de otro concepto. Todos los conceptos, excepto el concepto superior (generalmente COSA), deben tener al menos una superclase.
En KL-ONE, las descripciones se dividen en dos clases básicas de conceptos: primitivo y definido. Las primitivas son conceptos de dominio que no están completamente definidos. Esto significa que dadas todas las propiedades de un concepto, esto no es suficiente para clasificarlo. También pueden verse como definiciones incompletas. Usando la misma vista, los conceptos definidos son definiciones completas. Dadas las propiedades de un concepto, estas son condiciones necesarias y suficientes para clasificar el concepto.
El concepto de ranura se llama roles y los valores de los roles son complementos de roles. Hay varios tipos diferentes de roles que se pueden usar en diferentes situaciones. El tipo de rol más común e importante es el RoleSet genérico que captura el hecho de que el rol puede llenarse con más de un relleno.