Szakadát István, BME MOKK, i@syi.hu

1. Szakadát István, BME MOKK, i@syi.hu MEO W3C Szemantikus Web Műhelykonferencia Budapest, 2006. április 13.

2. Arisztotelész Gottfried Wilhelm Leibniz Immanuel Kant Charles Sanders Peirce Alfred North Whitehead MEO MEO-adatlap - Magyar Egységes Ontológia, NKFP-2, 2004.12.01. - 2006.11.30., - BME MOKK, BME TMIT, SZE SZTCS, MTA NYTI, ALL, Scriptum, MorphoLogic elméleti – „filozófiai” – célok - Sowa-idézet: „könyvemet ajánlom az emberiség nagy tudásmérnökei, Arisztotelész, Leibniz, Kant, Pierce, Whitehead szellemének” - alapokat teremteni, mintát mutatni, konvergálni gyakorlati célok - ontológiainfrastruktúra - csúcsontológia - szakontológia - újrahasznosíthatóság, konszenzusmenedzsment

3. Achille C. Varzi Alfred Tarski Alonzo Church Bertrand Russel Georg Henrik von Wright MEO újrahasznosíthatóság közös építkezés, Creative Commons ontologia.hu ontológiai elkötelezettség nincs egységes ontológia MEO lehet egységes módszertan meo nyelvi alapok ontológia nyelvfüggetlen, de kell nyelvi kötés ontológiamodell nyelvi réteg (morfológia, gyakoriság, szótár) vs. fogalmi réteg fogalommodell vs. instanciamodell (tulajdonnév-kísérlet)

4. hangalak /településnév/ /férje/ /negyedik/ /franc/ /ferenc/ /hngérien/ /ould/ /old/ /házbend/ /ungarise/ /hit/ /császár/ /osztrák/ /magyar/ /jozef/ /károly/ /erzsébet/ /józsef/ /kárl/ /királyné/ írásalak településnév férje iv old husband franz ferenc hungarian hit osztrák királyné joseph károly erzsébet józsef carl császár magyar morfológiai egység ungarische Franz Joseph németréteg hit Hungarian Steve Joe Elizabeth Carl old husband angolréteg településnév old magyar réteg férje IV Császár Ferenc osztrák királyné Károly Erzsébet József császár magyar hit lexikai egység férje FranzJoseph Császár Erzsébetkirályné településnév husband FerencJózsef császár osztrák-magyar királyné Császár IV. Károly nyelvi réteg fogalmiréteg Erzsébet királyné királyné Császár férje császár Franz Joseph településnév osztrák-magyar IV. Károly családnév Császár MEO modell

5. Nicola Guarino Willard van Ormon Quine Ludwig Wittgenstein Peter Gärdenfors Peter Simons MEO mi az ontológia tudástár (passzív) következtetési rendszer (aktív) metafogalmak, metatulajdonságok reláció, eleme, halmaz, lingvisztikai fogalmak OntoClean metatulajdonságok fogalom osztályfogalom relációfogalom csúcsfogalmak valami kategóriák (másodrendű)

6. Donald Davidson John F. Sowa Jerry R. Hobbs Tom Gruber Ju.A. Srejder ember magyar hímnemű német nemiség nő férfi magyar német angol nemzetiségű nőnemű angol ontológiaszerkesztés Protégé saját ontológiamag-szerkesztő taxonómiaépítés generikus reláció: másodrendű + túlhasznált (isa, is_subsumed, hyponymy, subclass) ismertetőjegy (Arisztotelész), duáltaxonómia (Srejder) partíció: harmadrendű + ismertetőjegy-kötés MEO

7. Gilbert Ryle Jürgen Habermas P.F. Strawson J.L. Austin John R. Searle MEO OntoClean módszertan - metatulajdonságok: rigiditás, függőség, teljesség stb. - fogalomtípusok - konzisztenciaszabályok (WordNet) 1.) ha Q antirigid, P is antirigid, 2.) ha Q hordoz azonosságot, P is hordoz, 2.1.) ha Q hordoz mereológiai azonosságot, P is hordoz, 3.) ha Q hordoz teljességkritériumot, P is hordoz, 3.1.) ha Q hordoz topológiai teljességkritériumot, P is hordoz, 3.2.) ha Q hordoz morfológiai teljességkritériumot, P is hordoz, 3.3.) ha Q hordoz funkcionális teljességkritériumot, P is hordoz, 4.) ha Q hordoz anti-teljességet, P is hordoz, 5.) ha Q függő, P is az, 6.) ha két fogalom IC-je vagy UC-je összeegyezhetetlen, a két fogalom diszjunkt. 7.) Minden egyed tartozik egy olyan fogalomhoz, amely hordoz IC-t. 8.) Ha két egyed megegyezik, van egy olyan fogalom, amely mindkettő azonossági feltételét hordozza.

8. Stanislaw Lesniewski Adam Pease Douglas B. Lenat Edmund Husserl Nicolai Hartmann • openCYC • OpenCyc is the open source version of the Cyc technology, the world's largest and most complete general knowledge base and commonsense reasoning engine. • http://www.cyc.com/cyc/opencyc/overview • SUO/SUMO • Standard Upper Ontology/Suggested Upper Merged Ontology • http://ontologyportal.org • DOLCE • Descriptive Ontology for Linguistic and Cognitive Engineering • http://www.loa-cnr.it/DOLCE.html • UOS/COSMO • Upper Ontology Summit/COmpatible Subset of Multiple Ontologies (2006.III.15.) • http://ontolog.cim3.net/cgi-bin/wiki.pl?UpperOntologySummit • Develop the mechanism and resources to relate existing upper ontologies to each other in a manner that will increase reuse of knowledge among them, and thereby facilitate semantic interoperability among other ontologies that are linked to them. We want to make the world aware that the technology of upper ontologies has developed to a point suitable for commercial exploitation. MEO

9. sajt juhtúró kumisz cheese túró nyelvi réteg Sergei Meyen Ferdinand de Saussure Rudolf Carnap Saul A. Kripke James Pustejovsky fogalmi réteg tejből készített élelmiszer tejből erjesztéssel készített élelmiszer tejből nem erjesztéssel készített élelmiszer szilárd, tejből erjesztéssel készített élelmiszer képlékeny, tejből erjesztéssel készített élelmiszer túró-ság tejföl-ség kumisz-ság juhtúró-ság sajt-ság = szilárd, tejből erjesztéssel készített élelmiszer cheese-ség = tejből erjesztéssel +néhány nem erjesztéssel készített élelmiszer (pl. túró) MEO eltérő nyelvi kötés

10. Clarence Irving Lewis David Lewis Gottlob Frege Mario Bunge nyelvi réteg magyar angol bátty öccs fivér húg testvér lánytestvér nővér sibling brother sister testvér-ség fivér-ség lánytestvér-ség fogalmi réteg bátty-ság öccs-ség húg-ság nővér-ség nyelvi réteg angol oldersister youngersister olderbrother youngerbrother MEO eltérőnyelvigranularitás Barry Smith