KL-ONE (pronunciado "kay ell won") es un sistema de representación del conocimiento en la tradición de las redes semánticas y los marcos ; 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 ]
Descripción general
Existe toda una familia de sistemas similares a KL-ONE. Una de las innovaciones que impulsó 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 a partir de la información inicial proporcionada por un experto en el dominio.
En KL-ONE, los marcos se denominan conceptos . Estos forman jerarquías mediante relaciones de subsunción; en la terminología de KL-ONE, se dice que una superclase subsume a sus subclases . Se permite la herencia múltiple . De hecho, se dice que un concepto está bien formado solo si hereda de más de un concepto. Todos los conceptos, excepto el concepto superior (generalmente THING), deben tener al menos una superclase.
En KL-ONE, las descripciones se dividen en dos clases básicas de conceptos: primitivos y definidos. Los conceptos primitivos 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 considerarse definiciones incompletas. Siguiendo la misma lógica, los conceptos definidos son definiciones completas. Dadas las propiedades de un concepto, estas son condiciones necesarias y suficientes para clasificarlo.
El concepto de ranura se denomina roles, y los valores de los roles son los elementos que los completan. Existen varios tipos de roles que se utilizan en diferentes situaciones. El tipo de rol más común e importante es el RoleSet genérico, que refleja el hecho de que un rol puede ser completado por más de un elemento.
Véase también
Referencias
- ↑ Woods, WA ; Schmolze, JG (1992). "La familia KL-ONE" (PDF) . Computers & Mathematics with Applications . 23 ( 2–5 ): 133. doi : 10.1016/0898-1221(92)90139-9 .
- ↑ Brachman, RJ ; Schmolze, JG (1985). "Una visión general del sistema de representación del conocimiento KL-ONE" . Cognitive Science . 9 (2): 171. doi : 10.1207/s15516709cog0902_1 . S2CID 11270484 .
- ↑ DA Duce, GA Ringland (1988). Enfoques para la representación del conocimiento: una introducción . Research Studies Press, Ltd. ISBN 978-0-86380-064-1.
- Representación del conocimiento
- Lenguajes de ontología