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

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