https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=F-LogicF-Logic - Versionsgeschichte2026-05-30T04:39:59ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=F-Logic&diff=728037&oldid=previmported>TaxonBot: Bot: Auflösung doppelter toter Links nach https://de.wikipedia.org/w/index.php?title=Wikipedia:Bots/Anfragen&oldid=266185123#Aufl%C3%B6sung_der_doppelten_Toten_Links2026-04-16T17:49:27Z<p>Bot: Auflösung doppelter toter Links nach https://de.wikipedia.org/w/index.php?title=Wikipedia:Bots/Anfragen&oldid=266185123#Aufl%C3%B6sung_der_doppelten_Toten_Links</p>
<p><b>Neue Seite</b></p><div>'''Frame Logic''' (abgekürzt F-Logic) ist eine [[formale Sprache]] zur [[Wissensrepräsentation]].<br />
<br />
== Beschreibung ==<br />
Sie verbindet die Vorteile der konzeptuellen Modellierung mit denen von objektorientierten frame-basierten Sprachen und bietet Deklarativität, eine kompakte und einfache Syntax und die wohldefinierte Semantik einer logikbasierten Sprache. F-Logic unterstützt Typisierung, Meta-Reasoning, komplexe Objekte, Methoden, Klassen, Vererbung, Regeln, Anfragen und Modularisierung. Die Semantik von F-Logic basiert auf der Semantik von [[Logik]] erster Stufe, speziell auf der Semantik der Logikprogrammierung.<br />
<br />
F-Logic wurde von Michael Kifer an der [[New York State University]] und von Georg Lausen an der [[Universität Mannheim]] entwickelt. F-Logic wurde ursprünglich im Bereich [[Deduktion|deduktive]] Datenbanken entwickelt, findet heute aber vor allem in den Bereichen [[semantische Technologien]], [[semantisches Web]] seinen Einsatz. F-Logic stellt dabei eine Sprache zur Formulierung von [[Ontologie (Informatik)|Ontologien]] ähnlich [[Web Ontology Language|OWL]], [[Resource Description Framework|RDF]] dar.<br />
<br />
Für F-Logic wurde in den Jahren 2006–2010 in dem europäischen Projekt NEON eine Entwicklungsumgebung entwickelt.<ref>[http://neon-project.org/ neon-project.org]. Webseite der Entwicklungsumgebung: [http://neon-toolkit.org/ neon-toolkit.org]</ref> F-Logic wird inzwischen auch in zahlreichen industriellen Anwendungen zur Informationsintegration, zur Unterstützung bei komplexen Entscheidungen, zum Finden von Lösungen im Bereich Kundenservice und bei der semantischen Suche eingesetzt.<br />
<br />
== Beispiel ==<br />
Im Folgenden sei ein kleines Beispiel für F-Logic in der Original-Sprachspezifikation gegeben:<ref>{{Toter Link |datum=2018-04 |url=http://www.ontoprise.de/fileadmin/user_upload/Publications_EN/Tutorial_FLogic_en.pdf |text=Tutorial F-Logic |archivebot=2018-04-09 07:24:50 InternetArchiveBot}} (PDF).</ref><br />
<br />
''Schema/Klassen/Methoden''<br />
<br />
<code>mann::person.</code> // jeder Mann ist eine Person<br />
<br />
<code>frau::person.</code> // jede Frau ist eine Person<br />
<br />
<code>person[hatSohn=>>mann].</code> // der Sohn einer Person ist ein Mann<br />
<br />
''Regeln/Ableitungen''<br />
<br />
<code>FORALL X,Y X:person[hatVater->Y] <- Y:mann[hatSohn -> X].</code> // falls X der Sohn von Y ist, ist Y der Vater von X<br />
<br />
''Fakten''<br />
<br />
<pre><br />
brad:mann.<br />
<br />
angelina:frau.<br />
<br />
verheiratet(brad, angelina).<br />
<br />
brad[hatSohn->>{maddox, pax}].<br />
</pre><br />
<br />
''Anfrage''<br />
<br />
Mit wem hat Angelina einen Sohn namens Pax?<br />
<br />
<code>FORALL M <- verheiratet(M, angelina) AND M[hatSohn ->> {pax}].</code><br />
<br />
Mittlerweile wurde die Syntax in einigen Punkten vereinfacht.<ref>{{Webarchiv|url=http://forum.projects.semwebcentral.org/forum-syntax.html |wayback=20090106000606 |text=forum.projects.semwebcentral.org |archiv-bot=2023-12-21 10:30:38 InternetArchiveBot }}</ref><br />
<br />
== F-Logic basierende Sprachen ==<br />
* FLORA-2 ist eine Erweiterung von F-Logic um [[HiLog]] und Transaktion Logic<br />
* FLORID ist eine Implementierung in C++<br />
* Ontobroker unterstützt [[ObjectLogic]], den Nachfolger von F-Logic<br />
* Web Services Modeling Language (WSML)<br />
* Semantic Web Services Language (SWSL)<br />
<br />
== Weblinks ==<br />
* [https://redirect.cs.umbc.edu/courses/771/papers/tutorial_flogic.pdf How to Write F-Logic Programs A Tutorial for the Language F-Logic] <br />
* [http://www.aifb.uni-karlsruhe.de/Lehre/Sommer2006/ISWWW/Folien/7-f-logic_4.pdf Tutorial für F-Logic (Link defekt)] (PDF; 168 kB)<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{SORTIERUNG:Flogic}}<br />
[[Kategorie:Theorie formaler Sprachen]]<br />
[[Kategorie:Abkürzung]]</div>imported>TaxonBot