Deskripcn´ı logika

More documents

Recommendations

Info

Pˇríklad – pokračování Cyklické a acyklické TBOXy Kaˇzdý acyklický 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ými koncepty. Pˇríklad primitivní koncept definovaný koncept Woman ≡ Person ⊓ Female Man ≡ Person ⊓ ¬(Person ⊓ Female) Mother ≡ (Person ⊓ Female) ⊓ ∃hasChild · Person . . . Z hlediska inference (viz. dále) je lze kaˇzdý acyklický TBOX “zkompilovat” do ABOXu a není nutné pak TBOX v˚ubec uvaˇzovat. Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 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ýsledek, kdybychom uvaˇzovali CWA ? JOCASTA Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 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ý 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

Deskripcn´ı logika

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?