Szakadát István, BME MOKK,
[email protected]
MEO
W3C Szemantikus Web
Műhelykonferencia Budapest, 2006. április 13.
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 Arisztotelész
Gottfried Wilhelm Leibniz
Immanuel Kant
Charles Sanders Peirce
Alfred North Whitehead
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 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
MEO modell
hangalak
/császár/
/településnév/ /osztrák/
írásalak
/magyar/
osztrák
/negyedik/
/királyné/
településnév
hit
császár
/férje/
hit
angol réteg
településnév
old
magyar réteg
osztrák
császár
old
királyné
joseph
ungarische
német réteg
Hungarian
/károly/
iv
morfológiai egység
hit
/jozef/
férje
magyar
/ould/
old
husband
férje
IV
/old/
/erzsébet/
husband
franz
/józsef/
ferenc
erzsébet
/kárl/
hungarian
józsef
Franz
Steve
/hΛngérien/
/ferenc/
/ungarise/
/hit/
károly
carl
Joseph
Joe
Elizabeth
Carl
Császár
királyné
magyar
/franc/
/házbend/
Ferenc Károly
Erzsébet
József
lexikai egység férje településnév császár
husband osztrák-magyar
Császár
Franz Joseph
Erzsébet királyné
királyné
Ferenc József Császár
IV. Károly
nyelvi réteg fogalmi réteg
királyné
Erzsébet 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
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
MEO
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émet nő
férfi
magyar
német
nőnemű
Donald Davidson
John F. Sowa
angol
nemzetiségű angol
Jerry R. Hobbs
Tom Gruber
Ju.A. Srejder
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. John R. Searle
Gilbert Ryle
Jürgen Habermas
P.F. Strawson
J.L. Austin
MEO
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. Edmund Husserl
Nicolai Hartmann
Stanislaw Lesniewski
Adam Pease
Douglas B. Lenat
MEO eltérő nyelvi kötés
sajt
juhtúró
kumisz
cheese
túró
nyelvi réteg fogalmi réteg
tejből készített élelmiszer
tejből erjesztéssel készített élelmiszer
szilárd, tejből erjesztéssel készített élelmiszer
tejből nem erjesztéssel készített élelmiszer
képlékeny, tejből erjesztéssel készített élelmiszer
kumisz-ság
túró-ság
tejföl-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