F-logic – ( eng. frame logic ) – a tudásreprezentáció és az ontológiák nyelve . Az F-logic egyesíti a fogalmi modellezés erejét az objektumorientált nyelvekkel, és deklaratív, kompakt és egyszerű szintaxist kínál a keretalapú logikai nyelv világos szemantikájával együtt.
Az F-logika jellemzői többek között az objektumok azonosítása, az összetett objektumok, az öröklődés , a polimorfizmus , a lekérdezési módszerek, a beágyazás . Az F-logika ugyanabban a kapcsolatban áll az objektum-orientált programozással, mint a klasszikus predikátumszámítás a relációs adatbázis-programozással.
Az F-logic-ot eredetileg deduktív adatbázisokhoz fejlesztették ki, de ma már gyakrabban használják szemantikai technológiákhoz, különösen a szemantikus webhez .
Az F-logikát az ontológiák egyik formalizmusának tekintik, bár a leíró logika népszerűbb és elfogadottabb az OWL ontológia nyelvében .
Az F-logic fejlesztői környezetet információintegrációs alkalmazásokban, kérdés-válasz rendszerekben és szemantikai keresésben is használják.
A Protege ontológiaszerkesztő 4-es verziójától kezdve az F-logic kétféle ontológia egyikeként támogatott. A World Wide Web Consortium Interchange Rule Format ( RIF ) szintaxisa az F-logikán alapul.
Az osztályok és egyedek az F-logikában a következők szerint definiálhatók:
Ez azt jelenti, hogy „a férfi férfi”, „a nő férfi”, „Delirium férfi”, „Angelina nő”.
Az osztályokról és egyénekről szóló nyilatkozatok a következők szerint írhatók:
Ez azt jelenti, hogy "az ember fia férfi", "Maddock és Pax Brad fiai" és "Brad és Angelina házastársak".
Jegyezze meg, mit ->>használ az értékek hozzárendelésére.
Az F-logika axiómái a következőképpen ábrázolhatók:
Azt jelentik, hogy "X férfi, ha X férfi és nem nő", "minden X, Y: X személynek Y apja van, ha Y férfinak X fia".
A Flora 2 rendszer (az F-logika kiterjesztése) számos változtatást vezetett be az F-logika szintaxisában, kényelmesebbé téve azt a tudásreprezentációs és érvelési rendszerek számára, eltérve a tisztán elméleti logika jelölésétől. Különösen a változókat kezdték "?" előtaggal jelölni, a funkcionális és a többértékű tulajdonságok megkülönböztetését teljesítményállandók váltották fel, és további fontos változtatások is bekerültek.
A leíró ontológia formalizmusával szemben az F-logika szemantikája kompatibilis a zárt világ hipotézisével. Az F-logika azonban általában eldönthetetlen, míg a leíró logika, amelyen az OWL alapul, eldönthető. Az F-logikában azonban kifejezőbb állítások ábrázolhatók, mint a leíró logikákkal.