Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Cyklické a acyklické TBOXy<br />
Pˇríklad – CWA × OWA<br />
Example<br />
ABOX<br />
hasChild(JOCASTA, OEDIPUS) hasChild(JOCASTA, POLYNEIKES)<br />
hasChild(OEDIPUS, POLYNEIKES) hasChild(POLYNEIKES, THERSANDROS)<br />
Patricide(OEDIPUS) ¬Patricide(THERSANDROS)<br />
Hrany reprezentují hasChild instance relací a barvy odliˇsují instance<br />
koncept˚u – Patricide a ¬Patricide<br />
<br />
<br />
<br />
<br />
JOCASTA<br />
<br />
OEDIPUS<br />
POLYNEIKES<br />
<br />
THERSANDROS<br />
Dotaz 1 (∃hasChild · (Patricide ⊓ ∃hasChild · ¬Patricide))(JOCASTA),<br />
Dotaz 2 Jaké jsou instance konceptu<br />
((¬Patricide) ⊓ (∃[ − hasChild]) · Patricide ⊓ ∃hasChild − · {JOCASTA}<br />
? Jak by liˇsil v´ysledek, kdybychom uvaˇzovali CWA ?<br />
JOCASTA<br />
Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 55 / 157<br />
<br />
x<br />
<br />
y