F-logic - ( eng. frame logic ) - limbajul reprezentării cunoștințelor și ontologiilor . F-logic combină puterea modelării conceptuale cu limbaje orientate pe obiect și oferă o sintaxă declarativă, compactă și simplă, împreună cu semantica clară a unui limbaj logic bazat pe cadru.
Caracteristicile logicii F includ identificarea obiectelor, obiectele compuse, moștenirea , polimorfismul , metodele de interogare, încapsularea , printre altele . F-logica este în aceeași relație cu programarea orientată pe obiecte ca și calculul predicat clasic cu programarea bazelor de date relaționale.
F-logic a fost dezvoltat inițial pentru baze de date deductive, dar acum este folosit mai frecvent pentru tehnologiile semantice, în special pentru Web-ul semantic .
F-logica este considerată unul dintre formalismele pentru ontologii, deși logica descriptivă este mai populară și acceptată ca principală pentru limbajul ontologiei OWL .
Mediul de dezvoltare F-logic este folosit și în aplicații de integrare a informațiilor, sisteme de întrebări-răspuns și căutare semantică.
Începând cu versiunea 4 a editorului de ontologie Protege, F-logic este acceptat ca unul dintre cele două tipuri de ontologie. Sintaxa formatului de reguli de schimb al consorțiului World Wide Web ( RIF ) se bazează pe logica F.
Clasele și indivizii pot fi definiți în F-logic după cum urmează:
Aceasta înseamnă că „un bărbat este bărbat”, „o femeie este un bărbat”, „Delirium este un bărbat”, „Angelina este o femeie”.
Declarațiile despre clase și persoane pot fi scrise după cum urmează:
Aceasta înseamnă că „fiul unui bărbat este bărbat”, „Maddock și Pax sunt fiii lui Brad” și „Brad și Angelina sunt soții”.
Observați ce ->>este folosit pentru a atribui valori.
Axiomele logicii F pot fi reprezentate astfel:
Ele înseamnă „X este bărbat dacă X este bărbat și nu femeie”, „pentru toate X, Y: o persoană X are un tată Y dacă un bărbat Y are un fiu X”.
Sistemul Flora 2 (o extensie a logicii F) a introdus mai multe modificări în sintaxa logicii F, făcând-o mai convenabilă pentru reprezentarea cunoștințelor și sistemele de raționament, diferite de notația logicii pur teoretice. În special, variabilele au început să fie marcate cu prefixul „?”, distincția dintre proprietățile funcționale și cu mai multe valori a fost înlocuită cu constante de putere și au fost adăugate și alte modificări importante.
Spre deosebire de formalismul ontologiei descriptive, semantica logicii F este compatibilă cu ipoteza lumii închise. Cu toate acestea, logica F este în general indecidabilă, în timp ce logica descriptivă pe care se bazează OWL este decidabilă. Totuși, în logica F se pot reprezenta mai multe enunțuri expresive decât este posibil cu logica descriptivă.