1 / 23

Ontológiai Rendszerek

Ontológiai Rendszerek. Fogalmi kategóriák, kategória-rendszerek. Hierarchikus relációk. Generikus. Partitív. Hierarchia – parciális rendezés. Reflexív. Antiszimmetrikus. Tranzitív. Állat - { fajta }  pata. Állat - { része }  pata. Állat - { fajta }  Ló. Ló - { része }  pata.

tillie
Download Presentation

Ontológiai Rendszerek

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Ontológiai Rendszerek

  2. Fogalmi kategóriák, kategória-rendszerek

  3. Hierarchikus relációk Generikus Partitív

  4. Hierarchia – parciális rendezés Reflexív Antiszimmetrikus Tranzitív

  5. Állat -{ fajta } pata Állat -{ része } pata Állat -{ fajta } Ló Ló -{ része } pata

  6. □ A generikus reláció formalizációja

  7. Pénzügyminiszter -{ része } Európai Únió Partitív relációk Magyar Köztársaság -{ része } Európai Únió Pénzügyminiszter -{ része } Kormány Kormány -{ része } Magyar Köztársaság

  8. Partitív relációk Magyar Köztársaság -{ tagja } Európai Únió Pénzügyminiszter -{ tagja } Kormány Kormány -{ intézménye } Magyar Köztársaság A PUSZTA FOGALMI HIERARCHIA NEM ÍRJA LE A KAPCSOLATOK SZEMANTIKÁJÁT!

  9. Konceptuális gráfok Reláció Fogalom Fogalom Bipartit gráf Szemantikai információmodell Attribútum érték Objektum attribútum (típus)

  10. Konceptuális gráfok elmélete (J Sowa) Madár Tojás Szaporodás_Módja Strucc Tojás Szaporodás_Módja Szillogizmus

  11. A fogalmi hierarchiára épülő logikai következtetés sullwgismos Középső terminus A – B ; B-C: A-C. Szélső terminusok

  12. Négy alaphelyzet A B B A a i "affirmo"  Eseti állítás  x, xAxB  Univerzális állítás x, xB  xA A B A B e o nego Eseti tagadás  x, xBx A  Univerzális tagadás  x, xAxB

  13. Barbara A B B C A C Celarent B B A C C A

  14. Darii Labilis C A B C A B Ferio Jeriko' B B A C C A

  15. Konceptuális gráfok elmélete (J Sowa) Madár Repül Mozgás_Módja Strucc Repül Mozgás_Módja Szillogizmus

  16. Necesszárius (Szükséges ) attributum Madár Tojás Szaporodás_Módja Hüllő Tojás Szaporodás_Módja

  17. Szufficiens (Elégséges ) attribútum Ember beszéd Kommunikációs_Képesség

  18. Kontingens (Esetleges ) attribútum Madár Repül Mozgás_Módja

  19. = (jelenleg) létező Az ontológia A létezés tudománya Fogalmak rendszere Ontology is the theory of objects and their ties. The unfolding of ontology provides criteria for distinguishing various types of objects (concrete and abstract, existent and non-existent, real and ideal, independent and dependent) and their ties (relations, dependences and predication).

  20. ΆΡΙΣΤΟΤΕΛΌΎΣ ΤΆΜΈΤΆΤΆΦΎΣΙΚΆ

  21. Az azonosság és ön-azonosság problémája

  22. Formális ontológia Objektum hierarchia IsAKindOf =generikus relációk Attribútum-öröklődés attribútum /típus Obj1 érték attribútum /típus /feltétel kardinalitás érték Obj3 Obj2 0,1,...n (min, max.) érték Obj4 attribútum /típus /feltétel /feltétel

  23. Osztály - példány Osztály 1 Absztrakt osztály Osztály 3 Konkrét osztály Osztály 2 Osztály 5 példány UID 2 Osztály 4 példány UID 1 példány UID 4 példány UID 3

More Related