23 Jun
2004
23 Jun
'04
11:03 a.m.
Kedves lista!
(i) A holnapi vizsga 14:00-kor kezdodik az IE220-as teremben.
(ii) Mellekelek 2 mintat a masodik nagyhazihoz, koszonet Nagy Zsoltnak erte
Javasoljuk, hogy futtasatok le Racer-ben is a peldaitokat, igy biztosak
lehettek abban, hogy mi a helyes valasz.
(iii) Sok szep megoldas erkezett az elso nagyhazira, csak igy tovabb!
(iv) A masodik nagyhazinal ugy tunik nem volt tiszta a
(concept-is-primitive C) kerdes
szemantikaja. Ezert ezt nem fogjuk szamonkerni a beadaskor. Ennek
ellenere azert leirom,
hogy mire gondoltam.
C fogalom primitiv, ha:
(i) atomi fogalom es nem szerepel a TBoxban bal oldalon
(ii) _atomi fogalom_, szerepel egy (implies C D) sorban a TBoxon belul
es D primitiv (azaz egy atomi
fogalom, ha resze egy primitiv fogalomnak, akkor o is primitiv)
Valamint fontosak meg:
- ami nem atomi fogalom, az nem primitiv
- ha valamirol kiderul valahogyan, hogy nem primitiv, akkor vegeztunk
~~~~~~~~~~~
Peldak:
~~~~~~~~~~~
Primitiv fogalom az alabbiakban A B es C...
D resze A metszet B
C resze A
.. de nem primitiv fogalom az alabbiakban B metszet C (bar A primitiv,
de B metszet C nem atomi):
B metszet C resze A
... valamint nem primitiv fogalom az alabbiakban B (bar A primitiv es
van egy B resze A axiomank, viszont
mar korabban kiderul B-rol, hogy nem primitiv - resze egy nem atomi
fogalomnak)
B resze G metszet Z
B resze A
~~~~~~~~~~~~~~~~~~
Vegtelenes problemak:
~~~~~~~~~~~~~~~~~~
Primitiv fogalom az alabbiakban A es B:
A resze B
B resze A
A rekurziv definicio miatt kialakulhatnak korok, de ezeket eszre lehet
es kell is venni.
A fenti esetben valami olyasmi pontra fog eljutni az algoritmus, hogy A
primitiv fogalom, ha B az es B primitiv
fogalom, ha A az. Ezt fel kell tudni (illetve nem kell, mert nem kerjuk
szamon) ismerni.
Gergo
(tbox-coherent)
(concept-satisfiable man)
(concept-satisfiable woman)
(concept-satisfiable (and man woman))
(concept-satisfiable (and (some haschild man) (some haschild woman)) )
(concept-satisfiable (and (some haschild man) (some haschild woman) (exactly 1 haschild))
)
(concept-equivalent man (not woman) )
(concept-subsumes man (and person (not woman)) )
(concept-subsumes (and person (not woman)) man )
(concept-equivalent (some haschild (all haschild man)) (not (all haschild (some haschild
(or (not person) woman)))) )
*T*
*T*
*T*
*F*
*T*
*F*
*F*
*T*
*T*
*T*
(implies woman (and person female))
(implies (and person female) woman)
(implies man (and person (not woman)))
(implies (and person (not woman)) man)
(implies mother (and woman (some haschild person)))
(implies (and woman (some haschild person)) mother)
*T*
*T*
*T*
*T*
*T*
*T*
*F*
*T*
*T*
*T*
(tbox-coherent)
(concept-subsumes parent (or mother father) )
(concept-equivalent *bottom* (not (or (not mother) (not father))) )
(concept-subsumes (not (or (not mother) (not father))) *bottom* )
(concept-disjoint mother father)
(concept-disjoint mother man)
(concept-satisfiable (and parent (not (at-least 1 haschild))))
(concept-subsumes father (and parent (not mother)))
(concept-satisfiable (and (or (some haschild father) (some haschild mother)) (all
haschild parent) (at-most 1 haschild) ))
(concept-disjoint (at-least 2 haschild) (at-most 1 haschild))
(implies woman (and person female))
(implies (and person female) woman)
(implies man (and person (not woman)))
(implies (and person (not woman)) man)
(implies mother (and woman (some haschild person)))
(implies (and woman (some haschild person)) mother)
(implies father (and man (some haschild person)))
(implies (and man (some haschild person)) father)
(implies parent (or mother father))
(implies (or mother father) parent)