Deskripcn´ı logika

Jazyk ALC Syntax a sémantika
ALC (= attributive language with complements)
TBOX
Máme-li koncepty C, D, atomick´y koncept A a atomickou roli R, potom pro
interpretaci I :
koncept koncept I popis
⊤ ∆ I (univerzální koncept)
⊥ ∅ (nesplniteln´y 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í logika 47 / 157