Deskripcn´ı logika

More documents

Recommendations

Info

Jazyk ALC Jazyk ALC Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 46 / 157
Jazyk ALC Syntax a sémantika ALC (= attributive language with complements) TBOX Máme-li koncepty C, D, atomický koncept A a atomickou roli R, potom pro interpretaci I : koncept koncept I popis ⊤ ∆ I (univerzální koncept) ⊥ ∅ (nesplnitelný koncept) ¬C ∆ I \ C I (negace) C ⊓ D C I ∩ D I (pr˚unik) C ⊔ D C I ∪ D I (sjednocení) ∀R · C {a | ∀b ((a, b) ∈ R I ⇒ b ∈ C I )} (univ. omezení) ∃R · C {a | ∃b ((a, b) ∈ R I ∧ b ∈ C I )} (exist. omezení) axiom I |= axiom iff popis C ⊑ D C I ⊆ D I (inkluze) C ≡ D C I = D I (ekvivalence) ABOX (UNA = unique name assumption 3 ) axiom I |= axiom iff popis C(a) a I ∈ C I (instance konceptu) R(a, b) (a I , b I ) ∈ R I (instance role) 3 dvě r˚uzné instance označují r˚uzné objekty domény Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 47 / 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: Logický d˚usledek Základy deskr
Page 13 and 14: Interpretace - Pˇríklad Pˇríkla
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?