F-logic ( lógica de marco ) es un lenguaje de ontología y representación del conocimiento . F-logic combina las ventajas del modelado conceptual con lenguajes basados en marcos y orientados a objetos y ofrece una sintaxis declarativa, compacta y simple, así como la semántica bien definida de un lenguaje basado en lógica.
Las características incluyen, entre otras, identidad de objeto, objetos complejos, herencia , polimorfismo , métodos de consulta, encapsulación . La lógica F tiene la misma relación con la programación orientada a objetos que el cálculo relacional clásico con la programación de bases de datos relacionales .
F-logic fue desarrollado por Michael Kifer en la Universidad de Stony Brook y Georg Lausen en la Universidad de Mannheim . F-logic se desarrolló originalmente para bases de datos deductivas, pero ahora se usa con mayor frecuencia para tecnologías semánticas, especialmente la web semántica . La lógica F se considera como uno de los formalismos de las ontologías , pero la lógica de descripción (DL) es más popular y aceptada, al igual que el OWL basado en DL .
Se desarrolló un entorno de desarrollo para F-logic en el proyecto NeOn y también se utiliza en una variedad de aplicaciones para la integración de información, respuesta a preguntas y búsqueda semántica . Antes de la versión 4 del editor de ontologías de Protégé, F-Logic se admite como uno de los dos tipos de ontologías.
La sintaxis de marco del Dialecto Lógico Básico del Formato de Intercambio de Reglas (RIF BLD) estandarizado por el Consorcio World Wide Web se basa en F-logic; Sin embargo, RIF BLD no incluye características de razonamiento no monótono de F-logic. [1]
En contraste con la lógica de descripción basada en el formalismo de ontología, la semántica de la lógica F es normalmente la de una suposición de mundo cerrado en oposición a la suposición de mundo abierto de DL . Además, la lógica F es generalmente indecidible , [ cita requerida ] mientras que la lógica de descripción de SHOIN en la que se basa OWL DL es decidible. Sin embargo, es posible representar declaraciones más expresivas en la lógica F que con la lógica de descripción.