Deskripcn´ı logika
Deskripcn´ı logika Deskripcn´ı logika
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´ych dat. Potˇrebujeme integrovat informace z r˚uzn´ych zdroj˚u - databází, informačních systém˚u s r˚uzn´ymi datov´ymi 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´ym 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í logika 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´yt 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´y a má strukturu koˇrenového stromu s koˇrenem v uzlu Jan : Petr Kˇremen (FEL ČVUT) Deskripční logika 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´y 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í
Interpretace – Pˇríklad<br />
Pˇríklad<br />
Jazyk ALC Syntax a sémantika<br />
Uvaˇzujme ontologii K1 = ({Prarodic ≡<br />
Osoba ⊓ ∃maDite · ∃maDite · ⊤}, {Prarodic(JAN)}), modelem K1<br />
m˚uˇze b´yt napˇr. interpretace I1 :<br />
∆ I1 = Muz I1 = Osoba I1 = {Jan, Filip, Martin}<br />
maDite I1 = {(Jan, Filip), (Filip, Martin)}<br />
Prarodic I1 = {Jan}<br />
JAN I1 = {Jan}<br />
tento model je konečn´y a má strukturu koˇrenového stromu s koˇrenem<br />
v uzlu Jan :<br />
Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 49 / 157