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 de marcos . 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 función de la información inicial proporcionada por un experto en el dominio.
Los marcos en KL-ONE se llaman conceptos . Estos forman jerarquías utilizando relaciones de subsume; en la terminología KL-ONE se dice que una superclase subsume sus subclases . Se permite la herencia múltiple . En realidad, se dice que un concepto está bien formado solo si hereda de más de otro concepto. Todos los conceptos, excepto el concepto superior (normalmente COSA), deben tener al menos una superclase.
En KL-ONE, las descripciones se separan en dos clases básicas de conceptos: primitivos y definidos. Las primitivas son conceptos de dominio que no están totalmente definidos. Esto quiere decir 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 rellenos de roles. Hay varios tipos diferentes de roles para ser utilizados 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 se puede llenar con más de un relleno.