Deskripcn´ı logika

More documents

Recommendations

Info

ALC – pˇríklad Jazyk ALC Syntax a sémantika Pˇríklad Uvaˇzujme, ˇze bychom chtěli vytvoˇrit informační systém pro správu genealogických dat. Potˇrebujeme integrovat informace z r˚uzných zdroj˚u - databází, informačních systém˚u s r˚uznými datovými modely. Jako integrační vrstvu jsme si zvolili popis v deskripční logice. Máme atomické koncepty Osoba, Muz, Prarodic a atomickou roli maDite. Jakým konceptem popíˇseme mnoˇzinu osob, které mají za své potomky pouze muˇze, nebo nemají potomky ˇzádné ? Osoba ⊓ ∀maDite · Muz Jak definovat koncept Prarodic ? Prarodic ≡ Osoba ⊓ ∃maDite · ∃maDite · ⊤ Jak by vypadal pˇredchozí axiom v predikátové logice ? ∀x (Prarodic(x) ≡ (Osoba(x) ∧ ∃y (maDite(x, y) ∧ ∃z (maDite(y, z))))) Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 48 / 157
Interpretace – Pˇríklad Pˇríklad Jazyk ALC Syntax a sémantika Uvaˇzujme ontologii K1 = ({Prarodic ≡ Osoba ⊓ ∃maDite · ∃maDite · ⊤}, {Prarodic(JAN)}), modelem K1 m˚uˇze být napˇr. interpretace I1 : ∆ I1 = Muz I1 = Osoba I1 = {Jan, Filip, Martin} maDite I1 = {(Jan, Filip), (Filip, Martin)} Prarodic I1 = {Jan} JAN I1 = {Jan} tento model je konečný a má strukturu koˇrenového stromu s koˇrenem v uzlu Jan : Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 49 / 157
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: Jazyk ALC Syntax a sémantika ALC (
Page 15 and 16: Cyklické a acyklické TBOXy Cyklic
Page 17 and 18: Pˇríklad Pˇríklad Cyklické a a
Page 19: Cyklické a acyklické TBOXy Pˇrí

Deskripcn´ı logika

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

Delete template?

Save as template?