szakadát istván, bme mokk, [email protected]
DESCRIPTION
Szakadát István, BME MOKK, [email protected]. MEO. W3C Szemantikus Web Műhelykonferencia Budapest, 2006. április 13. Arisztotelész. Gottfried Wilhelm Leibniz. Immanuel Kant. Charles Sanders Peirce. Alfred North Whitehead. MEO. MEO-adatlap - PowerPoint PPT PresentationTRANSCRIPT
Szakadát István, BME MOKK, [email protected]
MEO
W3C Szemantikus Web
MűhelykonferenciaBudapest, 2006. április 13.
MEMEOOMEO-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
MEMEOOújrahasznosíthatóság
közös építkezés, Creative Commonsontologia.hu
ontológiai elkötelezettségnincs egységes ontológia MEOlehet egységes módszertan meo
nyelvi alapokontológia nyelvfüggetlen, de kell nyelvi kötés
ontológiamodellnyelvi réteg (morfológia, gyakoriság, szótár) vs. fogalmi rétegfogalommodell vs. instanciamodell (tulajdonnév-kísérlet)
Achille C. Varzi Alfred Tarski Alonzo Church Bertrand Russel Georg Henrik von Wright
MEMEOOmodell
Ferenc József
Franz Joseph
férje
osztrák-magyar
császár
Erzsébet királyné
királyné
nyelvi rétegfogalmi réteg
IV. Károly
férje
osztrák-magyarcsászár királyné
husband
Franz Joseph
Erzsébet királyné
IV. Károly
Császár
településnév
településnév
Császár
Császár
Ferenc
Franz
Erzsébet
morfológiai egység
Károly
férje
osztrákcsászár királyné
husband
településnév Császár
lexikai egység
IV
József
Joseph
magyar
magyar réteg
német réteg
angol réteg old
old
ferencfranz
erzsébetkároly
férje
osztrákcsászár királyné
husbandtelepülésnév iv
józsefjosephmagyar
oldírásalak
Joe
ungarische
Hungarian Steve Elizabeth Carl
carl
hungarian
/ferenc//franc/
/erzsébet//károly/
/férje/
/osztrák//császár/ /királyné/
/házbend//településnév/ /negyedik/
/józsef//jozef//magyar/
/old/hangalak
/kárl/
/hngérien//ould/
/hit/ /ungarise/
Császárcsaládnév
hit
hit
hit
MEMEOOmi az ontológia
tudástár (passzív)következtetési rendszer (aktív)
metafogalmak, metatulajdonságokreláció, eleme, halmaz, lingvisztikai fogalmakOntoClean metatulajdonságok
fogalomosztályfogalomrelációfogalom
csúcsfogalmakvalamikategóriák (másodrendű)
Peter SimonsPeter Gärdenfors Ludwig WittgensteinNicola Guarino Willard van Ormon Quine
MEMEOO
Donald Davidson John F. Sowa
QuickTime™ and aTIFF (Uncompressed) decompressor
are needed to see this picture.
QuickTime™ and aTIFF (Uncompressed) decompressor
are needed to see this picture.
Jerry R. Hobbs Tom Gruber Ju.A. Srejder
ontológiaszerkesztésProtégé
saját ontológiamag-szerkesztő
taxonómiaépítésgenerikus 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ésember
férfinő magyar német angolnemiség
hímnemű
nőnemű
nemzetiségű
német
angol
magyar
MEMEOOOntoClean módszertan
- metatulajdonságok: rigiditás, függőség, teljesség stb.
- fogalomtípusok- konzisztenciaszabályok (WordNet)
John R. Searle P.F. Strawson J.L. AustinGilbert Ryle Jü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.
MEMEOO
Edmund Husserl Nicolai Hartmann Stanislaw Lesniewski Douglas B. LenatAdam Pease
openCYCOpenCyc 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/SUMOStandard Upper Ontology/Suggested Upper Merged Ontologyhttp://ontologyportal.org
DOLCEDescriptive Ontology for Linguistic and Cognitive Engineeringhttp://www.loa-cnr.it/DOLCE.html
UOS/COSMOUpper Ontology Summit/COmpatible Subset of Multiple Ontologies (2006.III.15.)http://ontolog.cim3.net/cgi-bin/wiki.pl?UpperOntologySummitDevelop 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.
MEMEOOeltérő nyelvi kötés
tejből erjesztéssel készített élelmiszer
sajt kumiszjuhtúró cheese túró
tejből nem erjesztéssel készített élelmiszer
kumisz-ság juhtú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 Meyen Ferdinand de Saussure Rudolf Carnap
QuickTime™ and aTIFF (Uncompressed) decompressor
are needed to see this picture.
Saul A. Kripke James Pustejovsky
MEMEOOeltérőnyelvigranularitás
brotherbátty öccs testvér sisterhúg nővér siblingfivér lánytestvér
bátty-ság öccs-ség
testvér-ség
húg-ság nővér-ség
fivér-ség lánytestvér-ség
older brother
older sister
younger brother
younger sister
angolmagyar
angol
nyelvi réteg
nyelvi réteg
fogalmi réteg
QuickTime™ and aTIFF (Uncompressed) decompressor
are needed to see this picture.
Clarence Irving Lewis Barry SmithDavid Lewis
QuickTime™ and aTIFF (Uncompressed) decompressor
are needed to see this picture.
Gottlob Frege Mario Bunge