F-lógica

F-logic  - ( eng.  frame logic ) - el lenguaje de representación del conocimiento y ontologías . F-logic combina el poder del modelado conceptual con lenguajes orientados a objetos y ofrece una sintaxis declarativa, compacta y simple junto con la semántica clara de un lenguaje lógico basado en marcos.

Las características de F-logic incluyen identificación de objetos, objetos compuestos, herencia , polimorfismo , métodos de consulta, encapsulación , entre otros . La lógica F tiene la misma relación con la programación orientada a objetos que el cálculo de predicados clásico con la programación de bases de datos relacionales.

F-logic se desarrolló originalmente para bases de datos deductivas, pero ahora se usa más comúnmente para tecnologías semánticas, especialmente la Web Semántica .

La lógica F se considera como uno de los formalismos para ontologías, aunque la lógica descriptiva es más popular y aceptada como la principal para el lenguaje de ontologías OWL .

El entorno de desarrollo F-logic también se utiliza en aplicaciones de integración de información, sistemas de preguntas y respuestas y búsqueda semántica.

A partir de la versión 4 del editor de ontología Protege, F-logic se admite como uno de los dos tipos de ontología. La sintaxis del formato de reglas de intercambio ( RIF ) del Consorcio World Wide Web se basa en F-logic.

Sintaxis de F-logic

Las clases y los individuos se pueden definir en F-logic de la siguiente manera:

Esto quiere decir que “un hombre es un hombre”, “una mujer es un hombre”, “Delirium es un hombre”, “Angelina es una mujer”.

Las declaraciones sobre clases e individuos se pueden escribir de la siguiente manera:

Esto significa que "el hijo de un hombre es un hombre", "Maddock y Pax son los hijos de Brad" y "Brad y Angelina son esposos".

Tenga en cuenta lo que ->>se utiliza para asignar valores.

Los axiomas de la lógica F se pueden representar de la siguiente manera:

Significan "X es hombre si X es hombre y no mujer", "para todo X, Y: una persona X tiene un padre Y si un hombre Y tiene un hijo X".

El sistema Flora 2 (una extensión de F-logic) introdujo varios cambios en la sintaxis de F-logic, haciéndolo más conveniente para la representación del conocimiento y los sistemas de razonamiento, a diferencia de la notación de la lógica puramente teórica. En particular, las variables comenzaron a marcarse con el prefijo "?", la distinción entre propiedades funcionales y multivaluadas fue reemplazada por constantes de potencia y se agregaron otros cambios importantes.

En contraste con el formalismo de la ontología descriptiva, la semántica de la lógica F es compatible con la hipótesis del mundo cerrado. Sin embargo, la lógica F generalmente es indecidible, mientras que la lógica descriptiva en la que se basa OWL es decidible. Sin embargo, en la lógica F se pueden representar declaraciones más expresivas de lo que es posible con la lógica descriptiva.

Enlaces