A rokonsági fogalmak ontológiája

Átírás

1 A rokonsági fogalmak ontológiája Szakadát István BME SZKT MOKK Magarországi Web Konferencia W3C-szekció

2 célok, tartalom szemantika, ontológia szemantikus web Tim Berners-Lee: a szöveget eddig olvasni tudták a gépek, mostantól meg kell velük értetni vagis a szemantikaalkalmazás célja gépi megértés logika + ontológia, John Sowa: az ontológia ott kezdődik, ahol a logika véget ér szükség van emberi megértés támogatására is: logika + ontológia mint az emberi konszenzusformálás eszköze tartalom (emberi rokonsági fogalmak logikai leírása, ontológiája) bevezető rokonsági fogalmak, fogalmi, nelvi különbségek logikai-ontológiai alapfogalmak rokonsági fogalomcsoportok áttekintő ábrák, struktúrák primitív fogalmak példák (egenesági, oldalági leszármazási kapcsolatok, házastársi szerepek) normafogalmak, normarétegek műveletek fogalmakkal OWL-en innen, OWL-en túl (MEO-hivatkozások) ontológiaépítési nehézségek, lehetőségek, teendők

3 problémák, alapfogalmak nelvi/kulturális sokszínűség szerb-horvát: 10+4 generáció kínai mandarin: 140 fogalom gráfreprezentáció, elsőrendű logikai leírás (100 oldalas formulagűjtemén) terminustípusok (Lewis Henr Morgan): leíró terminusok (ami egértelműen ír le eg fogalmat) osztálozó terminusok (ami fogalomosztált ír le) ez a kettősség kultúra- és nelvfüggő: szinte minden osztálozó terminusként értelmezhető alap-fogalom-tisztázás az ontológia nelvfüggetlen fogalom-leéma kettősség (MEO) pici gond: nem tudni, hog milenek a más nelvű terminusok elsőrendű formális nelv ( gépi nelv ), az OWL csak az egik W3C-OWL-alapfogalmak (rosszak, angolul is, magarul is) class (child, wife, father, sister) propert (father_of, sister_of) propert s propert (smmetricpropert, transitivepropert stb.) MEO-alapfogalmak (minden lehet osztálfogalom) egedfogalom (eg-argumentumú reláció) relációfogalom (két-argumentumű reláció) tulajdonságfogalom (eg-argumentumú reláció, de ettől itt eltekinthetünk) fogalomegértelműsítés: relációfogalom (apja, anja, felesége) egedfogalom (apa, ana, feleség) (relative() (relative_of(,))

4 fogalomcsoportok biocsalád fogalmak (vérrokonsági fogalmak) egenesági (leszármazási) fogalmak: unoka, nagmama, szépapa, beli orao (= 10. felme ) oldalági fogalmak: testvére, húga, nagbátja, unokatestvére társadalmi család fogalmak házassági rokonségi fogalmak férje, felesége, apósa, sógora, veje a leszármazási mostoharokonsági fogalmak féltestvére mostohaanja, mostohalána, mostohabátja, mostohafia műrokonsági fogalmak adoptálási fogalmak: fogadott gerek, nevelőszülő keresztelési fogalmak: keresztfia, keresztanja, komája családon kívüli fogalmak: vértestvér, szesztestvér, vallási vér, testvér, ata házassági rendszer fogalmak bigámia, poliandria, monogámia, poligámia, cölibátus

5 ontológiai granularitás

6 ontológiai granularitás: sibling angol mandarin magar

7 ontológiai granularitás: cousin unokatestvér unokaöcs unokabát unokahúg unokanéne másodunokatestvér harmadunokatestvér

8 ontológiai granularitás: fatherhood mandarin ontosz szerb-horvát magar

9 ontológiai granularitás: mandarin ū

10 primitív fogalmak alapréteg gereke child_of inverze: szülője/parent_of woman komplementuma: /man (= woman) partíció: human = man woman idősebb elder inverze: fiatalabb/ounger házastársa spouse_of értelmezési réteg (metafogalmak) ego általában semleges, milen nemű az ego vannak kivételek: bratanac (for_female_brother's_son_of) üeh-fu (felesége apja - ego: ), kung-kung (férje apja - ego: ) generáció csak az értelmezéshez szükséges, fogalmilag nem kell az idősebb reláció deklarálása csak különböző generációkba tartozó fogalmak között értelmes, bár etrém esetben előfordulhat, hog eg eged öregebb, mint eg öregebb generáció tagja (ego-nagbácsi) további rétegek ikertestvére, ikeröccse (kétféle idő) árva a fogalom magában mutatja azt, hog a rokonsági fogalmaknak van eg alapértelmezése) élettárs, melegházasság (jog, apa, ana) műrokonság (konvenciók)

11 szép-, ük-, déd-, nag-, apa 5th-1st father of (szépapja, ükapja, dédapja, nagapja, apja) (GREAT-GREAT-GREAT-GRAND)FATHER_OF w v t z( woman() child_of(,z) child_of(z,t) child_of(t,v) child_of(v,w) child_of(w,)) v t z( woman() child_of(,z) child_of(z,t) child_of(t,v) child_of(v,)) t z( woman() child_of(,z) child_of(z,t) child_of(t,)) z( woman() child_of(,z) child_of(z,)) ( woman() child_of(,)) v w v házastársa t t t 2 gereke testvére z z z z 1 idősebb apja nagapja dédapja ükapja szépapja

12 anja, szülője, gereke, unokája, házastársa 5th-1st mother of (szépanja, ükanja, dédanja, naganja, anja) 5th-1st parent of (szépszülője, ükszülője, dédszülője, nagszülője, szülője) 4th-1st child of (ükunokája, dédunokája, unokája, gereke) 4th-1st daughter of (ükunokalána, dédunokalána, unokalána, lána) 4th-1st son of (ükunokafia, dédunokafia, unokafia, fia) (mother_of(,) child_of(,) -1 ) (father_of(,) (child_of(,) -1 woman())) (mother_of(,) (child_of(,) -1 woman())) (son_of(,) (child_of(,) woman())) (daughter_of(,) (child_of(,) woman())) (grandchild_of(,) z(child_of(,z) child_of(z,))) elméletileg nem szükséges a házastársa reláció (biológiai szülő társadalmi szülő) incesztus tabu - anincesztuális/akonfluens reláció gereke testvére 1 2 z 1 z 2 z 1 z 2 idősebb child_of child_of grandchild_of grandchild_of

13 sibling, cousin sibling of (testvére) SIBLING_OF t z(child_of(,z) child_of(,z) woman(z) child_of(,t) child_of(,t) woman(t)) származtatható/származtatandó reláció (a gereke relációból) elméletileg nem szükséges a házastársa reláció (biológiai szülő társadalmi szülő) cousin of (unokatestvére) t z(child_of(,z) child_of(,z) woman(z) child_of(,t) child_of(,t) woman(t)) z t z t házastársa u 1 u 2 gereke testvére sibling z t half-sibling z 1 z 2 t 1 t 2 idősebb sibling cousin_of

14 father-in-law, üeh-fu, kung-kung father-in-law of (apósa = házastársa apja) FATHER-IN-LAW_OF üeh-fu ( apósa = felesége apja) kung-kung ( apósa = férje apja) z(spouse_of(,z) child_of(z,) woman()) z(spouse_of(,z) child_of(z,) woman() woman() woman(z)) z(spouse_of(,z) child_of(z,) woman() woman(z) woman()) a mandarin nelv fogalmaiban közvetett ego-gender-függés van házastársa gereke testvére z z z idősebb father-in-law_of üeh-fu kung-kung

15 társadalmi család: normarétegek a társadalmi norma fogalma, típusai társadalmi cselekvésekre iránuló előírás (deontikus logika) a normasértést szankció követi jog, konvenció, erkölcs a házastársa reláció társadalmi normán alapul (vag jogon vag konvención) normálja (=társadalmi kötőerővel, kötelezettségekkel erősíti meg) a vérségi kapcsolatokat házasok az állami jog szerint élettárs a társadalmi konvenció szerint házasok az egházi jog (konvenció) szerint meleg házasok az állami jog szerint a műrokonsági fogalmak újabb normaréteget kívánnak meg adoptálás: társadalmilag niltan vállalják a szimulált vérségi kapcsolatokat keresztelés: vallási-kulturális és részben gazdasági közösséget szimuláló rokonsági támogatás (család kisközösség szimulációja) családon kívüli műrokonsági fogalmak: vallási, kulturális közösségi kapcsolat szimulálása (már nagközösségi kapcsolatrendszer) rokonsági, házassági rendszerek vallási, kulturális, gazdasági nagközösségi kapcsolatrendszerek integrálásáa alkalmas normarendszerek hán házastársa lehet valakinek ki lehet, ki kell legen a házastársa

16 piao-po-mu 1) wife of son of paternal grandfather s sister, when son is older than one s own father 2) wife of son of paternal grandmother s sibling, when son is older than one s own father 1. SON_ELDER_THAN_FATHER_PATERNAL_GRANDFATHER S_SISTER S_SON S_WIFE_OF 2. SON_ELDER_THAN_FATHER_PATERNAL_GRANDMOTHER S_SIBLING S_SON S_WIFE_OF 1.) s t u v w z(child_of(,z) woman(z) child_of(z,t) woman(t) child_of(t,w) child_of(u,w) woman(w) child_of(t,v) child_of(u,v) woman(v) woman(u) child_of(s,u) woman(s) spouse_of(,s) elder(s,z)) 2.) s t u v w z(child_of(,z) woman(z) child_of(z,t) woman(t) child_of(t,w) child_of(u,w) woman(w) child_of(t,v) child_of(u,v) woman(v) child_of(s,u) woman(s) spouse_of(,s) elder(s,z)) házastársa w v w v gereke t u t u testvére z s z s idősebb 1. piao-po-mu 2. piao-po-mu

17 t ang-chiu-mu daughter-in-law of maternal grandfather s borther anai nagmama fivérének a mene MATERNAL_GRANDFATHER S_BROTHER S_DAUGHTER-IN-LAW_OF s t u v w z(child_of(,z) woman(z) child_of(z,t) woman(t) child_of(t,w) child_of(u,w) woman(w) child_of(t,v) child_of(u,v) woman(v) child_of(,u) woman(u) child_of(s,u) spouse_of(,s) woman(s) woman()) házastársa w v gereke t u testvére z s idősebb t ang-chiu-mu

18 chih-sun-hsi wife of brother s grandson fivére unokafiának felesége BROTHER S_GRANDSON S_WIFE_OF t u v w z(child_of(,w) child_of(z,w) woman(w) child_of(,v) child_of(z,v) woman(v) child_of(u,z) child_of(t,u) woman(t) spouse_of(,t) woman()) házastársa gereke w v z testvére u idősebb chih-sun-hsi t

19 po-mu father s elder brother s wife apja bátjának felesége FATHER S_ELDER_BROTHER S_WIFE_OF t v w z(child_of(t,w) child_of(z,w) woman(w) child_of(t,v) child_of(z,v) woman(v) child_of(,t) woman(t) spouse_of(,z) woman(z) woman()) házastársa w v gereke t z testvére po-mu idősebb

20 műveletek fogalmakkal relációinvertálás szülője = gereke -1 házastársa gereke testvére nagszülője = unokája -1 dédszülője = dédunokája -1 relációmetszés apja = szülője (ez csak eg pongola rövidítés, hisz a nem kétargumentumú reláció) relációkompozíció nagapja = apja apja dédapja = apja apja apja = nagapja apja = apja nagapja ükapja = apja apja apja apja = nagapja nagapja =dédapja apja = szépapja = apja apja apja apja apja = dédapja nagapja = nagbácsija = fivére apja apósa = apja házastársa üeh-fu = apja felesége kung-kung = apja férje po-mu (father s elder brother s wife) = felesége bátja apja chih-sun-shi (wife of brother s grandson) = wife brother grandson problémák testvére: deklarálható, de OWL-ben nem vezethető le (más nelven igen) idősebb

21 OWL prop s props vs. ERT-props MEO Etensional Relation Theor refleív (R(, )) irrefleív ( R(, )) nem-refleív ( R(, )) balról totális (R(, )) jobbról totális (R(, )) másodlagosan refleív (R(, ) R(, )) ford.másodlagosan refleív (R(, ) R(, )) korefleív (R(, ) = ) szimmetrikus (R(, ) R(, )) aszimmetrikus (R(, ) R(, )) antiszimmetrikus ((R(, ) R(, )) = ) nem-szimmetrikus (R(, ) R(, )) öszefüggő ( (R(, ) R(, ))) erősen öszefüggő (R(, ) R(, )) gengén összefüggő z(r(, ) R(, z) ( = z R(, z) R(z, ))) dichotóm ( (R(, ) R(, )) ( R(, ) R(, ))) trichotóm (R(,) R(,) ) ( R(, ) R(, ) ) =) balról egértelmű z((r(, z) R(, z)) = ) jobbról egértelmű z((r(, ) R(, z)) = z)r tranzitív z((r(, ) R(, z)) R(, z)) intranzitív z((r(, ) R(, z)) R(, z)) kvázitranzitív z((r(, ) R(, z) z) R(, z)) aliotranzitív z((r(, ) R(, z)) (R(, z) = z)) nem-tranzitív z((r(, ) R(, z)) R(, z)) cirkuláris z((r(, ) R(, z)) R(z, )) acirkuláris z((r(, ) R(, z)) R(z, )) euklideszi z((r(, ) R(, z)) R(, z)) aneuklideszi z((r(, ) R(, z)) ( R(, z) R(z, ))) katenáris z(r(, ) ((R(, z) R(z, ))) akatenáris z(r(, ) ( R(, z) R(z, ))) konfluens w z((r(, ) R(, w)) (R(, z) R(w, z))) akonfluens w z((r(, ) R(, w)) (R(, z) R(w, z))) OWL: szimmetrikus tranzitív funkcionális fordított funkcionális

22 OWL-példák példák OWL-ben kifejthető fogalmakra gereke (child_of) reláció: <owl:objectpropert rdf:id= child_of"> <owl:inverseof> <owl:objectpropert rdf:id= parent_of"/> </owl:inverseof> </owl:objectpropert> minden Szülőnek (Parent) van gereke (child_of): <owl:class rdf:id= Parent"> <rdfs:subclassof> <owl:restriction> <owl:onpropert> <owl:objectpropert rdf:id= child_of"/> </owl:onpropert> <owl:somevaluesfrom rdf:resource=" </owl:restriction> </rdfs:subclassof> </owl:class> a Gerek (Child) osztál ekvivalens a Ember (Human) osztállal: <owl:class rdf:id= Child"> <equivalentclass rdf:id= Human /> </owl:class>

23 OWL-példák példák OWL-ben kifejthető fogalmakra minden Gereknek (Child) / Embernek (Human) egetlen anja (mother_of) van: <owl:class rdf:id= Child"> <rdfs:subclassof> <owl:restriction> <owl:onpropert> <owl:objectpropert rdf:id= mother_of"/> </owl:onpropert> <owl:cardinalit rdf:datatpe=" 1 </owl:cardinalit> </owl:restriction> </rdfs:subclassof> </owl:class> példák OWL-ben nem kifejthető (csak deklarálható) fogalmakra testvére, unokatestvére, nagbátja, unokaöccse

24 ontológiaépítési nehézségek eg- vag kétargumentumú fogalmak (eged- vag relációfogalom) modalitás, jog-, normakezelés: deontikus logika ontológiai granularitás: eltérő pontosság, eltérő jelentés, eltérő terjedelem hán dimenzió/fogalmi primitív szükséges (bratanac - kétszeres szorzó a végén) meddig érvénesítjük a dimenziókat? időkezelés (eltérő, hog melik nelv milen fogalomtípusoknál kezeli az időt) fordítási nehézség társadalmi-terminológiai nehézség a vérszerinti és a jog szerint szülő megkülönböztetése a vérszerinti apaság biológiai tén (és esetenként társadalmi titok ), az apaság társadalmi (jogi) tén bonolultsági (számítási-következtetési) problémák, nehézségek OWL-korlátokat lebontani, MEO-dokumentum: ontológiai nelvek összehasonlítása XOL, SHOE, RFML, RDFS, DAML+OIL, OWL, SWRL, SWRL-FOL, OCML, Ontolingua, FLogic, CcL, Loom, PowerLoom, KM, EPILOG, SNePS addig is formalizálni minél kifejezőbb módon kettős cél, kétszálú építkezés: emberi megértés támogatása (magas kifejezőerő) gépi megértés támogatása (számíthatóság) a részvilágmodellek az emberi konszenzus kiformálásához kellenek kooperációs probléma különböző szaktudások, szakemberek közti egeztetési nehézségek JEPD-elv Jointl Ehaustive and Pairwise Disjoint

25 további információk a prezentációról (nem végleges!) a MEO projekt dokumentumairól a normákról si, Egben az egész, Tpote, 2007, si, Akarat-erő-logika, eg ontológiai előadássorozatról Neumann János Számítógép-tudománi Társaság - BME - W3C Magar Iroda kéthavonta első előadás: :00, Bp. Stoczek u., 2. BME St. ép terem levelezőlista: az előadóról: web: i@si.hu