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

Az előadások a következő témára: "Szakadát István, BME MOKK, MEO W3C Szemantikus Web Műhelykonferencia Budapest, 2006. április 13."— Előadás másolata:

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

2 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” Alfred North WhiteheadCharles Sanders PeirceImmanuel KantGottfried Wilhelm LeibnizArisztotelész - alapokat teremteni, mintát mutatni, konvergálni gyakorlati célok - ontológiainfrastruktúra - csúcsontológia - szakontológia - újrahasznosíthatóság, konszenzusmenedzsment

3 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) Achille C. VarziAlfred TarskiAlonzo ChurchBertrand RusselGeorg Henrik von Wright

4 MEO modell

5 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ű) Peter SimonsPeter GärdenforsLudwig WittgensteinNicola GuarinoWillard van Ormon Quine

6 MEO Donald DavidsonJohn F. SowaJerry R. HobbsTom GruberJu.A. Srejder 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 férfinőmagyarnémetangol nemis é g h í mnemű nőnemű nemzetis é gű n é met angol magyar

7 MEO OntoClean módszertan - metatulajdonságok: rigiditás, függőség, teljesség stb. - fogalomtípusok - konzisztenciaszabályok (WordNet) John R. SearleP.F. StrawsonJ.L. Austin Gilbert RyleJürgen Habermas 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 MEO Edmund HusserlNicolai Hartmann Stanislaw LesniewskiDouglas B. LenatAdam Pease 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.

9 MEO eltérő nyelvi kötés tejből erjeszt é ssel k é sz í tett é lelmiszer sajtkumiszjuhtúrócheesetúró tejből nem erjeszt é ssel k é sz í tett é lelmiszer kumisz-s á gjuht ú r ó -s á g t ú r ó -s á g sajt-s á g = szil á rd, tejből 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 tejből k é sz í tett é lelmiszer cheese-s é g = tejből erjeszt é ssel +n é h á ny nem erjeszt é ssel k é sz í tett é lelmiszer (pl. t ú r ó ) tejf ö l-s é g nyelvi r é teg fogalmi r é teg Sergei MeyenFerdinand de SaussureRudolf CarnapSaul A. KripkeJames Pustejovsky

10 MEO eltérő nyelvi granularitás brotherbáttyöccstestvér sister húgnővérsiblingfivérlánytestvér b á tty-s á g ö ccs-s é g testv é r-s é g h ú g-s á gnőv é r-s é g fiv é r-s é gl á nytestv é r-s é g older brother older sister younger brother younger sister angolmagyar angol nyelvi r é teg fogalmi r é teg Clarence Irving LewisBarry SmithDavid LewisGottlob FregeMario Bunge