Deskripcn´ı logika
Deskripcn´ı logika Deskripcn´ı logika
Pˇríklad – pokračování Cyklické a acyklické TBOXy Kaˇzd´y acyklick´y TBOX T lze expandovat do sémanticky ekvivalentní T ′ , která obsahuje pouze axiomy s pravou stranou tvoˇrenou primitivním konceptem a levou stranou tvoˇrenou pouze definovan´ymi koncepty. Pˇríklad primitivní koncept definovan´y koncept Woman ≡ Person ⊓ Female Man ≡ Person ⊓ ¬(Person ⊓ Female) Mother ≡ (Person ⊓ Female) ⊓ ∃hasChild · Person . . . Z hlediska inference (viz. dále) je lze kaˇzd´y acyklick´y TBOX “zkompilovat” do ABOXu a není nutné pak TBOX v˚ubec uvaˇzovat. Petr Kˇremen (FEL ČVUT) Deskripční logika 54 / 157
Cyklické a acyklické TBOXy Pˇríklad – CWA × OWA Example ABOX hasChild(JOCASTA, OEDIPUS) hasChild(JOCASTA, POLYNEIKES) hasChild(OEDIPUS, POLYNEIKES) hasChild(POLYNEIKES, THERSANDROS) Patricide(OEDIPUS) ¬Patricide(THERSANDROS) Hrany reprezentují hasChild instance relací a barvy odliˇsují instance koncept˚u – Patricide a ¬Patricide JOCASTA OEDIPUS POLYNEIKES THERSANDROS Dotaz 1 (∃hasChild · (Patricide ⊓ ∃hasChild · ¬Patricide))(JOCASTA), Dotaz 2 Jaké jsou instance konceptu ((¬Patricide) ⊓ (∃[ − hasChild]) · Patricide ⊓ ∃hasChild − · {JOCASTA} ? Jak by liˇsil v´ysledek, kdybychom uvaˇzovali CWA ? JOCASTA Petr Kˇremen (FEL ČVUT) Deskripční logika 55 / 157 x y
- Page 1 and 2: Deskripční logika Petr Kˇremen F
- Page 3 and 4: Základy deskripční logiky Zákla
- Page 5 and 6: Motivace Základy deskripční logi
- Page 7 and 8: Koncepty a role Základy deskripčn
- Page 9 and 10: Logick´y d˚usledek Základy deskr
- Page 11 and 12: Jazyk ALC Syntax a sémantika ALC (
- Page 13 and 14: Interpretace - Pˇríklad Pˇríkla
- Page 15 and 16: Cyklické a acyklické TBOXy Cyklic
- Page 17: Pˇríklad Pˇríklad Cyklické a a
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