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...
07.06.2013, 16:38