Ontologie a limity
ISKM89 Organizace dat - sémantický web | podzim 2023
Zuzana Nevěřilová | Centrum zpracování přirozeného jazyka
= vědět, jak něco udělat vs. vědět, že něco je
Deklarace (Tvrzení, popis): 21 je násobkem 7.
Procedura (Pravidlo): Vím, jak násobit 7. Když 7 vynásobím 3, dostanu 21.
V deskripční logice lze aplikovat pravidla na známé třídy, nelze konstruovat nové
prvky: Human ⊑ ∃ hasParent.Human (nekonečná množina lidí 😮)
DL je deklarativní, pravidla jsou procedurální → možnosti pravidel jsou omezené
Procedurální vs. deklarativní znalost
● průnik vlastností (mladší sourozenec = mladší a sourozenec)
● relace mezi instancemi, se kterými je instance v relaci (dítě sezdaných rodičů)
SWRL limity částečně překonává
hasSibling(?y, ?x) ^ youngerThan(?x, ?y) -> hasYoungerSibling(?y, ?x)
Person(?x) ^ hasParent(?x, ?y) ^ hasParent(?x, ?z) ^ hasSpouse(?y, ?z) ->
ChildOfMarriedParents(?x)
Limity OWL
Jsou to jen modely (produkty ontologického inženýrství).
Autoři odpovídají za to, co ontologie modeluje a co už ne.
Limity ontologií