first-order-logic

Guten Morgen, Ich möchte verstehen, wie ich etwas mit der Logik erster Ordnung beschreiben kann. Ich möchte zum Beispiel beschreiben, was ein Film (eine Entität) ist und was ein Attribut (zum Beispiel Schauspieler: Clooney) für den Film ist....

Beim Lesen von Beschreibungslogiken (DL) ist es sehr üblich zu lesen, dass es ein Fragment von Logiken erster Ordnung (FOL) ist, aber es ist schwer etwas explizit zu lesen, was von DL ausgeschlossen ist, das Teil von FOL ist. was DL (mit all sei...