Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Umwandlung von DL Rules nach SROIQ (I)

Eingabe: Eine Description Logic Rule
  1. Normalisiere die Regel.
  2. Für jedes Paar von Variablen x und y :
    Sind x und y im Abhängigkeitsgraph nicht verbunden, d.h. es gibt keinen Pfad zwischen x und y , dann füge im Rumpf U(x,y) ein.
  3. Der Regelkopf hat nun die Form D(z) oder S(z,z') .
    Für jedes Atom R(x,y) im Rumpf:
    Falls im Abhängigkeitsgraph der Pfad von z nach y kürzer ist als der von z nach x , so ersetze R(x,y) mit R (y,x) .
  4. Falls im Rumpf ein Atom R(x,y) vorkommt, so dass y in keinem anderen zweistelligen Atom der Regel auftritt:
    • Wenn der Rumpf n einstellige Atome C 1 (y),...,C n (y) enthält, dann definiere \(E:=C_1\sqcap\ldots\sqcap C_n\) und entferne C 1 (y),...,C n (y) aus dem Rumpf. Andernfalls definiere \(E:=\top\).
    • Ersetze R(x,y) durch ∃R.E(x) .
    Wiederhole Schritt 4 solange es solche R(x,y) gibt.
 

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.