description-logic

In der Beschreibungslogik gibt es ein Konzept namens "rolification" ( OWL und Regeln, Sec 3.2 ). Es konvertiert ein Konzept (Klasse) in eine Rolle (Eigenschaft). Wenn wir zum Beispiel R(x) rolifizieren, erhalten wir r(x,x) . Diese Technik i...

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...