Szakadát István, BME MOKK, i@syi.hu MEO W3C Szemantikus Web Műhelykonferencia Budapest, 2006. április 13.
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 Arisztotelész Gottfried Wilhelm Leibniz Immanuel Kant Charles Sanders Peirce Alfred North Whitehead
újrahasznosíthatóság közös építkezés, Creative Commons ontologia.hu ontológiai elkötelezettség nincs egységes ontológia lehet egységes módszertan MEO 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) Achille C. Varzi Alfred Tarski Alonzo Church Bertrand Russel Georg Henrik von Wright
modell hangalak /császár/ írásalak /településnév/ /osztrák/ /magyar/ hit településnév /férje/ /negyedik/ /királyné/ /jozef/ férje iv /ould/ /károly/ old /old/ /házbend/ /franc/ /ferenc/ /hλngérien/ /erzsébet/ /hit/ /ungarise/ /józsef/ /kárl/ husband franz ferenc hungarian császár osztrák magyar királyné joseph károly erzsébet józsef carl morfológiai egység német réteg ungarische Franz Joseph Hungarian hit angol réteg old husband Steve Joe Elizabeth Carl településnév old magyar réteg férje IV Császár Ferenc hit császár osztrák magyar királyné Károly Erzsébet József lexikai egység férje Császár Franz Joseph településnév husband Erzsébet királyné Ferenc József császár osztrák-magyar királyné Császár nyelvi réteg fogalmi réteg királyné Erzsébet királyné IV. Károly 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
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ű) Nicola Guarino Willard van Ormon Quine Ludwig Wittgenstein Peter Gärdenfors Peter Simons
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 ember magyar hímnemű nemiség nőnemű nő férfi magyar német angol német nemzetiségű angol Donald Davidson John F. Sowa Jerry R. Hobbs Tom Gruber Ju.A. Srejder
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. John R. Searle Gilbert Ryle Jürgen Habermas P.F. Strawson J.L. Austin
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 Standar d 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. Edmund Husserl Nicolai Hartmann Stanislaw Lesniewski Adam Pease Douglas B. Lenat
eltérő nyelvi kötés sajt juhtúró kumisz cheese túró tejből készített élelmiszer nyelvi réteg fogalmi réteg 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ó) Sergei Meyen Ferdinand de Saussure Rudolf Carnap Saul A. Kripke James Pustejovsky
MEO eltérő nyelvi granularitás nyelvi réteg bátty öccs magyar fivér húg testvér lánytestvér angol nővér sibling brother sister testvér-ség fogalmi réteg fivér-ség bátty-ság öccs-ség nyelvi réteg lánytestvér-ség húg-ság nővér-ség angol older sister younger sister older brother Clarence Irving Lewis David Lewis Gottlob Frege Mario Bunge younger brother Barry Smith