Deskripcn´ı logika

Interpretace
Základy deskripční logiky
. . . slouˇzí k definování v´yznamu symbol˚u zaveden´ych v´yˇse.
Protoˇze se pohybujeme v podmnoˇzině FOL, definujeme
interpretaci redukcí na FOL formule a vyuˇzijeme standardní
FOL strukturu.
Interpretace bude pro nás dvojice : I = (∆ I , · I ), kde ∆ I je interpretační
doména a · I je interpretační funkce. Máme-li atomick´y
koncept A, atomickou roli R a individuál a, potom
A I ⊆ ∆ I
R I ⊆ ∆ I × ∆ I
a I ∈ ∆ I
Petr Kˇremen (FEL ČVUT) Deskripční logika 44 / 157