F-logika - F-logic

F-logika (rám logika ) je reprezentace znalostí a ontologický jazyk. F-logika kombinuje výhody konceptuálního modelování s objektově orientovanými jazyky založenými na rámcích a nabízí deklarativní, kompaktní a jednoduchou syntaxi a dobře definovanou sémantiku jazyka založeného na logice.

Mezi funkce patří mimo jiné identita objektu, složité objekty, dědictví, polymorfismus, metody dotazu, zapouzdření. F-logika je ve stejném vztahu objektově orientované programování jako klasický predikátový počet stojí relační databáze programování.

Přehled

F-logiku vyvinul Michael Kifer v Univerzita Stony Brook a Georg Lausen v University of Mannheim. F-logika byla původně vyvinuta pro deduktivní databáze, ale nyní se nejčastěji používá pro sémantické technologie, zejména pro sémantický web. F-logika je považována za jeden z formalizmů pro ontologie, ale logika popisu (DL) je více populární a přijímaný, stejně jako DL-based SOVA.

Vývojové prostředí pro F-logiku bylo vyvinuto v projektu NeOn a používá se také v řadě aplikací pro integraci informací, odpověď na otázku a sémantické vyhledávání. Před verzí 4 editoru ontologie Protégé je F-Logic podporován jako jeden ze dvou druhů ontologie.

Syntaxe rámce souboru Formát výměny pravidel Základní logický dialekt (RIF BLD) standardizovaný World Wide Web Consortium je založen na F-logice; RIF BLD však nezahrnuje ne monotónní uvažování vlastnosti F-logiky.^[1]

Na rozdíl od logika popisu na základě ontologického formalismu je sémantika F-logiky normálně a předpoklad uzavřeného světa na rozdíl od DL předpoklad otevřeného světa. F-logika je také obecně nerozhodnutelný,^{[Citace je zapotřebí ]} zatímco Logika popisu SHOIN že OWL DL je založen na je rozhodnutelné. Je však možné v F-logice reprezentovat výraznější výroky, než jaké jsou možné u logiky popisu.

Nejobsáhlejší popis F-logiky byl publikován v roce 1995.^[2] Úvodní papír^[3][4] z roku 1989 vyhrál v roce 1999 cenu Test of Time ACM SIGMOD.^[5] Navazující práce^[6] od roku 1992 vyhrál cenu 2002 Test of Time od ACM SIGMOD.^[5]

F-logická syntaxe

Třídy a jednotlivci lze v F-logice definovat takto:

man :: person.woman :: person.brad: man.angelina: woman.

Toto uvádí, že „muži a ženy jsou osoby“ a „Brad je muž“ a „Angelina je žena“.

Prohlášení o třídách a jednotlivcích lze učinit následovně:

osoba [hasSon => muž] .brad [hasSon -> {maddox, pax}]. ženatý (brad, angelina).

To definuje, že „syn člověka je muž“, „Maddox a Pax jsou synové Brada“ a „Brad a Angelina jsou manželé“.

Kromě toho je možné reprezentovat axiomy v F-logice následujícím způsobem:

muž (X) <- osoba (X) A NE žena (X) .X: osoba [hasFather-> Y] <- Y: muž [hasSon -> X].

Znamená to „X je muž, pokud X je osoba, ale ne žena“ a „pokud X je syn Y, pak X je osoba a Y je otec X“.

The Flora-2 Systém zavedl řadu změn do syntaxe F-logiky, čímž se stal vhodnějším pro systém reprezentace znalostí a uvažování na rozdíl od pouze teoretické logiky. Zejména před proměnnými byla uvedena předpona? -, rozdíl mezi funkčními a vícehodnotovými vlastnostmi byl zrušen a nahrazen omezeními mohutnosti a dalšími důležitými změnami. Například výše uvedená dvojice vět vypadá ve Floře-2 takto:

muž (? X) <- osoba (? X) a af žena (? X).? X: osoba [hasFather ->? Y] <-? Y: muž [hasSon ->? X].

Tady af je výchozí negace ("naf" znamená negaci jako selhání na základě fundovaná sémantika ); Flora-2 také podporuje tzv. Explicitní negaci,^[7] což je v klasické logice blíže k negaci.

Jazyky založené na F-logice

• Flora-2 je rozšíření F-logiky s HiLog, Logika transakce, a neproveditelné uvažování.
• Ergo je komerční systém založený na F-logice, který rozšiřuje Flora-2.
• PathLP je plně logický programovací jazyk založený na F-logice.
• KVĚTNATÝ je implementace založená na C ++
• Web Services Modeling Language (WSML)
• Jazyk sémantických webových služeb (SWSL)
• Jazyk ObjectLogic je založen na F-logice; OntoStudio je implementace ObjectLogic od společnosti semafora systems GmbH (dříve Ontoprise GmbH ).

Reference