You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
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