Ismeretalapú modellezés XIII. RDF

Hasonló dokumentumok
Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs

Szemantikus Web Semantic Web A szemantikus web alkalmas megközelítés, illetve megfelel nyelvekkel, eszközökkel támogatja az intelligens információs

SZEMANTIKUS WEB. Méréstechnika és Információs Rendszerek Tanszék

RDFS. (Resource Description Frameworks Schema) Méréstechnika és Információs Rendszerek Tanszék

Név: Neptun kód: április

SZEMANTIKUS WEB. Méréstechnika és Információs Rendszerek Tanszék

Mi a baj a jelenlegi világhálóval? (2) Resource Description Framework. Mi a baj a jelenlegi világhálóval? (1) Mi a baj a jelenlegi világhálóval?

SZEMANTIKUS WEB. Integrációs és ellenőrzési technikák VIMIAC04, tavasz

Információ leíró technológiák, szemantikus web előadás

Adatbázisok MSc. 12. téma. Ontológia és SPARQL

Név: Neptun kód: május 23. Komplex MI alkalmazások vizsga Rendelkezésre álló idő: 75 perc 1. Vizsgálja meg a következő RDF leírást:

Ismeretalapú modellezés XI. Leíró logikák

Resource Description Framework (RDF)

Debreceni Egyetem Informatikai Kar

matematikus-informatikus szemével

A Szemantikus Web 2. Alkalmazott Informatikai Intézeti Tanszék MŰSZAKI INFORMATIKA Dr.Dudás László 0.

SZAKDOLGOZAT. Nádasdi Attila

Név: Neptun kód: május 26., VIMIAC04 Integrációs és ellenőrzési technikák vizsga Rendelkezésre álló idő: 90 perc

Szemantikus adatbázisok. Nagypál Gábor

SZEMANTIKUS WEB 3. előadás. Méréstechnika és Információs Rendszerek Tanszék

SZEMANTIKUS WEB 3. előadás. Méréstechnika és Információs Rendszerek Tanszék

Szemantikus világháló a BME-n

Fülöp Csaba, Kovács László, Micsik András

Semantic Web. Gombos Gergő

A szemantikus világháló oktatása

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.

OOP. Alapelvek Elek Tibor

Logika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26

1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata.

Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1

Adatbázis rendszerek. dr. Siki Zoltán

Web 3.0. Szemantikus web

ADATBÁZIS-KEZELÉS. Relációs modell

Leképezések. Leképezések tulajdonságai. Számosságok.

Diszkrét matematika I.

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)

Fogalmi modellezés. Ontológiák Alkalmazott modellező módszertan (UML)

S0-02 Típusmodellek (Programozás elmélet)

Szemantikus Web: egy rövid bevezetés

Szemantikus Web: egy rövid bevezetés március 18

Emerald: Integrált jogi modellező keretrendszer

Szerver oldali Java programozás /II. 1. óra. Elemkönyvtárak. Elemkönyvtárak használata Saját elemkönyvtár készítése.

A Szemantikus világháló alapjai

Diszkrét matematika I.

Informatikai alapismeretek Földtudományi BSC számára

Adatbázis-kezelő rendszerek. dr. Siki Zoltán

Elsőrendű logika szintaktikája és szemantikája. Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1

Adatbázis rendszerek Definíciók:

Elsőrendű logika. Mesterséges intelligencia március 28.

Web-fejlesztés NGM_IN002_1

SZEMANTIKUS WEB 4. előadás. Méréstechnika és Információs Rendszerek Tanszék

Diszkrét matematika I.

SZÁMÍTÁSTUDOMÁNY ALAPJAI

Web 3.0. Szemantikus web

Ontológia nyelvek (Szemantikus Világhálótól...)

Adatbázisrendszerek 8. előadás: Az Enhanced Entity-Relationship modell március 27.

SZEMANTIKUS WEB. Méréstechnika és Információs Rendszerek Tanszék

URN használata hálózati dokumentumok azonosításában Országos Széchényi Könyvtár Könyvtár-informatikai M hely Budapest, június 12.

Szolgáltatásintegráció (VIMIM234) tárgy bevezető

Nagy Gábor compalg.inf.elte.hu/ nagy

ADATBÁZIS-KEZELÉS. Modellek

Ontológiák építése. Ontology Engineering

2014. szeptember 24. és 26. Dr. Vincze Szilvia

KOVÁCS BÉLA, MATEMATIKA I.

Diszkrét matematika 1. középszint

Itt és a továbbiakban a számhalmazokra az alábbi jelöléseket használjuk:

Diszkrét matematika I.

Összeállította Horváth László egyetemi tanár

Logika es sz am ıt aselm elet I. r esz Logika 1/36

Gráfelmélet. I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma

Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) Egy halmaz akkor adott, ha minden objektumról eldönthető, hogy

Formális szemantika. Kifejezések szemantikája. Horpácsi Dániel ELTE Informatikai Kar

Magas szintű adatmodellek Egyed/kapcsolat modell I.

Adatmodellezés. 1. Fogalmi modell

Matematikai logika és halmazelmélet

Modellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK

A logikai következmény

Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!

Ontológiák, 2. Leíró logikák. Kooperáció és intelligencia, DT-MT, BME-MIT

1 2. gyakorlat Matematikai és nyelvi alapfogalmak. dr. Kallós Gábor

Mesterséges Intelligencia MI

FerSML szurkolói avatárok a könyvtárban

A Szemantikus háló. A szemantikus háló a Web funkcionalitására épülő új réteg, adatai alkalmasak gépi feldolgozásra, automatizálásra is.

Zenetár a webszerverünkön,

4. Fuzzy relációk. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI

Az adatbázis-alapú rendszerek tervezésének alapvető része az adatok modellezése. Ez legtöbbször két fázisban zajlik:

5. Előadás tartalma Magas szintű adatbázismodellek Adatmodellezés

Adatbázisok elmélete 4. előadás

Adatbázis rendszerek I

Adatbázisok elmélete 12. előadás

ONTOLÓGIÁK, OWL2, DL 7. Előadás. Méréstechnika és Információs Rendszerek Tanszék

Adatmodellezés, alapfogalmak. Vassányi István

A szemantikus Web. Alkalmazott Informatikai Intézeti Tanszék MŰSZAKI INFORMATIKA Dr.Dudás László 0.

Szolgáltatásintegráció (VIMIM234) tárgy bevezető

Komputeralgebra Rendszerek

Ungváry Rudolf: Tezauruszok mint kisvilágok. Kapcsoltság a fogalmak között

7. előadás. Karbantartási anomáliák, 1NF, 2NF, 3NF, BCNF, 4NF, 5NF. Adatbázisrendszerek előadás november 7.

VII. Keretalapú ismeretábrázolás

Fogalmak: Adatbázis Tábla Adatbázis sorai: Adatbázis oszlopai azonosító mező, egyedi kulcs Lekérdezések Jelentés Adattípusok: Szöveg Feljegyzés Szám

Átírás:

XIII. RDF 1

, nyílt rendszerek eddig volt nyílt rendszerek, internet, közös értelmezés szükséges ontológiák leíró logikák, mint az internetes ismeretalapú elméleti alapjai most jön az interneten használt nyelvek RDF RDF Schema 2

RDF adatmodell egy RDF dokumentum állítások rendezetlen gyűjteménye, mindegyik állítás egy alany-állítmány-tárgy hármas (bináris reláció) az állításokat egy gráf címkézett éleinek lehet tekinteni az állítások web erőforrások tulajdonságait írják le (erőforrás, tulajdonság, erőforrás literál) erőforrás bármi lehet, amire lehet hivatkozni URI-val: web dokumentum, kép, bekezdés, pl. http://www.abcd.xy/index.html mailto:abcd@xy.hu isbn://5031-4444-3333 alany a tulajdonságok maguk is erőforrások (URI) állítmány tárgy 3

RDF formái (ábra Finin) XML kódolás <rdf:rdf..> <.> <.> </rdf:rdf> gépi feldolgozásra jó RDF adatmodelll hármasok stmt(docinst, rdf_type, Document) stmt(personinst, rdf_type, Person) stmt(inroominst, rdf_type, InRoom) stmt(personinst, holding, docinst) stmt(inroominst, person, personinst) következtetésre jó gráf emberi megjelenítésre jó az RDF gráf alapú re alkalmas egyszerű nyelv 4

RDF építőelemei erőforrások amikről beszélni akarunk, URI tulajdonságok bináris relációt reprezentáló dolgok literálok karakterlánc, egész, xmldatatypes állítások, vagyis hármasok alany,állítmány,tárgy / alany,tulajdonság,érték hármasok gyűjteménye által definiált gráf 5

URI URI = Uniform Resource Identifier URI a természetes nyelvtől eltérően egyértelmű a web egy globális névteret biztosít feltételezhetjük, hogy azonos URI azonos dolgot azonosít URI azonosíthat web erőforrást http://people.inf.elte.hu/hz/hz.jpg egy file RDF segítségével állításokat tehetünk, ez a kép egy embert ábrázol, akinek a neve URI néha valós világ fogalmait azonosítja http://www.inf.elte.hu/ az igazán jó URI nem változik ELTE IK, konvención alapul 6

RDF példa http://umbc.edu/ ~finin/talks/idm02/ dc:title dc:creator Intelligent Information Systems on the Web - köztes csomópontnak nincs URI-ja - információ strukturáltságát növeli - komplex literál szétbontható http://umbc.edu/ bib:aff bib:name Tim Finin bib:email finin@umbc.edu ábra Finin 7

RDF gráf a gráf csak bináris relációkat enged meg magasabb számosságú relációt reifikálni kell az adja(jános,mária,könyv12) relációt egy közös objektum bevezetésével kell reprezentálni: adáseset12 adója(adáseset12,jános) kapója(adáseset12,mária) ajándéka(adáseset12,könyv12) az RDF használatában ez a tervezés része ez az ára annak, hogy csak egyszerű bináris reláció a megengedett 8

RDF XML kódolása (példa Finin) <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:bib="http://daml.umbc.edu/ontologies/bib/" xmlns:xsd= http://www.w3.org/2001/xmlschema# > <rdf:description about="http://umbc.edu/~finin/talks/idm02/"> <dc:title>intelligent Information Systems on the Web </dc:title> <dc:creator> <rdf:description > <bib:name>tim Finin</bib:Name> <bib:email>finin@umbc.edu</bib:email> <bib:aff resource="http://umbc.edu/" /> </rdf:description> </dc:creator> </rdfdescription> </rdf:rdf> 9

RDF XML kódolása (példa Finin) <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:bib="http://daml.umbc.edu/ontologies/bib/" xmlns:xsd= http://www.w3.org/2001/xmlschema# > <rdf:description about="http://umbc.edu/~finin/talks/idm02/"> <dc:title>intelligent Information Systems on the Web </dc:title> <dc:creator> <rdf:description > <bib:name>tim Finin</bib:Name> <bib:email>finin@umbc.edu</bib:email> a dokumentum egyetlen RDF elem, aminek több <bib:aff resource="http://umbc.edu/" /> </rdf:description> </dc:creator> </rdf:description> </rdf:rdf> névteret specifikáló attribútuma van rdf szótár (nincs neve, alapértelmezett) dublin core szótár bib szótár XML séma 10

RDF XML kódolása (példa Finin) <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:bib="http://daml.umbc.edu/ontologies/bib/" xmlns:xsd= http://www.w3.org/2001/xmlschema# > <rdf:description about="http://umbc.edu/~finin/talks/idm02/"> <dc:title>intelligent Information Systems on the Web </dc:title> <dc:creator> <rdf:description > <bib:name>tim Finin</bib:Name> <bib:email>finin@umbc.edu</bib:email> <bib:aff resource="http://umbc.edu/" /> </rdf:description> </dc:creator> </rdf:description> </rdf:rdf> a Description itt bevezet egy megnevezett alanyt, amiről állításokat akar tenni a megnevezés URI-val történik a Description tag elemei a tulajdonságokat és azok értékeit adják meg 11

Description három lehetőség: about attribútum: meglévő erőforrásra hivatkozik <rdf:description rdf:about= http > id attribute: új erőforrást hoz létre <rdf:description rdf:id= abc123456 > dokumentumon belülről lehet rá hivatkozni név nélkül: anonim erőforrás <rdf:description> nem lehet rá máshonnan hivatkozni 12

RDF XML kódolása (példa Finin) <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:bib= http://daml.umbc.edu/ontologies/bib/ xmlns:xsd= http://www.w3.org/2001/xmlschema# > <rdf:description about="http://umbc.edu/~finin/talks/idm02/"> <dc:title>intelligent Information Systems on the Web </dc:title> <dc:creator> <rdf:description > <bib:name>tim Finin</bib:Name> <bib:email>finin@umbc.edu</bib:email> dc:title a tulajdonság (vagy állítmány) <bib:aff resource="http://umbc.edu/" értéke a string /> literál Intelligent Information Systems on the Web </rdf:description> alapértékként string adattípust tételez fel </dc:creator> </rdf:description> </rdf:rdf> <ex:age rdf:datatype="&xsd;integer> 22 </ex:age> 13

RDF XML kódolása (példa Finin) <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:bib= http://daml.umbc.edu/ontologies/bib/ xmlns:xsd= http://www.w3.org/2001/xmlschema# név nélküli, így üres csomópontot > hoz létre a gráfban adott esetben egy olyan dologról van szó, aminek a <rdf:description about="http://umbc.edu/~finin/talks/idm02/"> tulajdonságai name= Tim Finin <dc:title>intelligent Information Systems on the Web </dc:title> <dc:creator> <rdf:description > <bib:name>tim Finin</bib:Name> <bib:email>finin@umbc.edu</bib:email> <bib:aff resource="http://umbc.edu/" /> </rdf:description> </dc:creator> </rdf:description> </rdf:rdf> a creator értékét a beágyazott RDF-ben definiálja 14

RDF XML kódolása (példa Finin) <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:bib= http://daml.umbc.edu/ontologies/bib/ xmlns:xsd= http://www.w3.org/2001/xmlschema# > <description about="http://umbc.edu/~finin/talks/idm02/"> <dc:title>intelligent Information Systems on the Web </dc:title> <dc:creator> <description > <bib:name>tim Finin</bib:Name> bib:aff tulajdonság értéke egy erőforrás, nem string literál minden erőforrásnak van URI-je, minden URI egy erőforrásra hivatkozik <bib:email>finin@umbc.edu</bib:email> <bib:aff resource="http://umbc.edu/" /> </description> </dc:creator> </description> </rdf:rdf> 15

N-Triples reprezentáció (példa Finin) RDF állításokat hármasokként is reprezentálni lehet <alany> <állítmány> <tárgy>. jól illeszkedik adatbázisban való tároláshoz <http://umbc.edu/~finin/talks/idm02/> <http://purl.org/dc/elements/1.1/title> "Intelligent Information Systems on the Web". _:j10949 <http://daml.umbc.edu/ontologies/bib/name> "Tim Finin". _:j10949 <http://daml.umbc.edu/ontologies/bib/email> "finin@umbc.edu". _:j10949 <http://daml.umbc.edu/ontologies/bib/aff> <http://umbc.edu/>. _:j10949 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type><description>. <http://umbc.edu/~finin/talks/idm02/> <http://purl.org/dc/elements/1.1/creator> _:j10949. <http://umbc.edu/~finin/talks/idm02/> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <Description>. 16 anoním csomópont _:j10949

N3 reprezentáció (példa Finin) @prefix rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#. @prefix dc: http://purl.org/dc/elements/1.1/. @prefix bib: http://daml.umbc.edu/ontologies/bib/. < http://umbc.edu/~finin/talks/idm02/ > dc:title "Intelligent Information Systems on the Web" ; dc:creator anonim csomópont jele [ ] [ bib:name "Tim Finin ; bib:email finin@umbc.edu ; erőforrás bib:aff: "http://umbc.edu/" ]. tulajdonság 1 érték ; tulajdonság 2 érték ; tulajdonság n érték. 17

Egyedinév, rdf:resource RDF-ben nincs egyedinév feltételezés azonos nevek használata nem jelenti, hogy ugyanarról van szó két erőforrás azonosságát az rdf:resource attribútummal lehet kijelölni <rdf:description rdf:about="ipm-08esztime"> <uni:coursename> </uni:coursename> <uni:istaughtby rdf:resource="123456"/> </rdf:description> <rdf:description rdf:about="123456"> <uni:name>varga László</uni:name> </rdf:description> 18

RDF konténerek erőforrások vagy attribútumok egy csoportjáról kell megállapításokat tenni a csoportról és nem a csoport elemeiről pl. egy adott tanszék tárgyai rdf:bag sorrend nem számít, egy elem többször is előfordulhat rdf:seq sorrend számít, egy elem többször is előfordulhat rdf:alt az elemek lehetséges alternatívákat jelölnek 19

RDF konténer példa <rdf:rdf xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:uni="http://example.org/#"> <uni:lecturer rdf:about= "123456" uni:name="varga László"> <uni:coursestaught> <rdf:bag> <rdf:_1:rdf:resource="ipm-08esztime"/> <rdf:_2:rdf:resource="ipm-08sztare"/> </rdf:bag> </uni:coursestaught> </uni:lecturer> <uni:course rdf:about="ipm-08sztare" uni:coursename=" "> <uni:lecturer> <rdf:alt> <rdf:_1:rdf:resource= 123456"/> <rdf:_2:rdf:resource= 987654"/> </rdf:alt> </uni:lecturer> </uni:course> </rdf:rdf> 20

RDF konténerek RDF nyílt világ szemantikájú, így nincs lehetőség arra, hogy lezárjuk a konténert: ez az összes elem, nincs több RDF egy elosztott gráf, nem zárhatjuk ki a lehetőségét, hogy valahol van egy további elemeket tartalmazó másik gráf részlet a csak a felsorolt elemeket tartalmazó zárt gyűjteményt listaként lehet definiálni: rdf:list, rdf:first, rdf:rest, rdf:nil 21

RDF Listák IPM-08EsztIME tárgyat kizárólag az 123456 és 987654 oktatók tartják <rdf:description rdf:about="ipm-08esztime"> <uni:istaughtby> <rdf:list> <rdf:first><rdf:description rdf:about="123456"/></rdf:first> <rdf:rest> <rdf:list> <rdf:first><rdf:description rdf:about="987654"/></rdf:first> <rdf:rest><rdf:description rdf:about="&rdf;nil"/></rdf:rest> </rdf:list> </rdf:rest> </rdf:list> </uni:istaughtby> </rdf:description> 22

RDF értékelése: tulajdonságok a tulajdonságok speciális erőforrások a tulajdonságok tárgy helyén is lehetnek egy alany-állítmány-tárgy hármas állításban definíciójuk az erőforrásoktól független ez flexibilitást biztosít de szokatlan a modellező nyelvekben és az objektum orientált programozásban zavaró lehet a modellezők számára 23

RDF értékelése: bináris relációk RDF csak bináris relációkat használ ez egy megkötés, mert gyakran több argumentumra lenne szükség de szimulálni lehet több állítással úgy, hogy egy új kiegészítő erőforrást vezetünk be reifikáció hatékony eszköz, de az egyszerű RDF-ben túl összetett dolog például állításokról állításokat megfogalmazni 24

RDF séma RDF nagyon egyszerű adatmodellt használ, nem alkalmas következtetésekre pl. Anna barátja Béla. Anna ismerőse Béla? RDF Schema (RDFS) kibővíti az adatmodellt a következők leírásával és szemantikájával: osztályok és hierarchiájuk tulajdonságok hierarchiája tulajdonságok típusossága egyszerű ontológiák leírásának támogatása objektum orientált jelleg, de logikai megközelítéssel és nyílt világ szemantikával 25

RDF séma - bővítményei osztályok rdfs:class rdfs:subclassof tulajdonságok rdfs:domain rdfs:range rdfs:subpropertyof speciális osztályok rdfs:resource rdfs:literal rdfs:datatype gyűjtemények rdfs:member rdfs:container rdfs:containermembershipproperty speciális tulajdonságok rdfs:comment rdfs:seealso rdfs:isdefinedby rdfs:label 26

Megengedhető állítások, osztályok osztályokat célszerű bevezetni megköti, hogy miről van értelme valamit állítani osztályokat egyoperandusú predikátumokkal szokás leírni, de leírható kétoperandusúval is human(john) --> type(john,human) az osztály példányait az osztályhoz az rdf:type kapcsolja osztályok hierarchiába szervezhetők subclass(p,q) p(x) => q(x) egy osztály több osztálynak is lehet alosztálya 27

Megengedhető állítások, alany és tárgy korlátozások előadója Algebra az állítás tárgya csak oktató lehet range restriction 0-803 terem előadója Példa Péter az állítás alanya csak tantárgy lehet domain restriction a tulajdonságkorlátozások a tulajdonság alanyához és tárgyához osztályokat rendelnek 28

Tulajdonság hierarchia tulajdonságok között hierarchia pl. előadója szűkebb tulajdonság, mint az oktatója ha a T tárgy előadója E, akkor T tantárgy oktatója is E subproperty(p, q) p(subj, obj) => q(sub,obj) fordítva nem feltétlen igaz, mert például a gyakorlatvezető is oktatója 29

RDF Schema a fenti i elemeket az RDF Schema (RDFS) nyelv írja le a leíráshoz RDF nyelvet használják és ehhez RDF primitíveket vezetnek be annak leírásához, hogy az előadó az oktatói személyzet alosztálya definiálják az előadó, oktatóiszemélyzet és a subclassof erőforrásokat definiálják a subclassof tulajdonságot leírják a (subclassof,előadó,oktatóiszemélyzet) hármas állítást RDFS az RDF XML alapú szintakszisát használja 30

Alap osztályok rdfs:resource: az összes erőforrás osztálya rdfs:class: az összes osztály osztálya rdfs:literal: az összes literál osztálya rdf:property: az összes tulajdonság osztálya rdf:statement: az összes reifikált állítás osztálya 31

Alap tulajdonságok rdf:type: egy erőforrást az osztályával hozza relációba az erőforrás annak az osztálynak egy példánya lesz rdfs:subclassof: egy osztályt az egyik szülőosztályával hozza relációba egy osztály minden példánya egyben a szülőosztálynak is példánya rdfs:subpropertyof: egy tulajdonságot az egyik szülőtulajdonságával hozza relációba rdfs:domain: egy P tulajdonság alanyát adja meg azon erőforrások osztálya, amelyek a P-t tartalmazó állításokban alany lehet ha nincs megadva, akkor bármilyen erőforrás lehet alany rdfs:range: egy P tulajdonság tárgyát adja meg azon erőforrások osztálya, amelyek egy P-t tartalmazó állításban tárgy lehet 32

Alap elemek összefüggései rdfs:subclassof és rdfs:subpropertyof definíció szerint tranzitívek rdfs:class alosztálya rdfs:resource-nak mert minden osztály erőforrás rdfs:resource egy példánya rdfs:class-nak rdfs:resource minden erőforrás osztálya, tehát egy osztály minden osztály példánya rdfs:class-nak 33

Segéd tulajdonságok rdfs:seealso az egyik erőforrást relációba hozza egy másik erőforrással, ami a magyarázatot adja rdfs:isdefinedby: az rdfs:seealso tulajdonság leszármazottja, azzal az erőforrással hozza relációba, amelyikben a definíciója van, tipikusan RDF schema rfds:comment megjegyzést lehet elhelyezni rdfs:label emberi értelmezésre szánt elnevezést lehet hozzátenni 34

Példa (Finin) <rdfs:class rdf:id="személyzet"> <rdfs:comment>az összes alkalmazott osztálya</rdfs:comment> </rdfs:class> <rdfs:class rdf:id="oktatóiszemélyzet"> <rdfs:comment>az oktatói állományban levő alkalmazottak</rdfs:comment> <rdfs:subclassof rdf:resource="#személyzet"/> </rdfs:class> <rdfs:class rdf:id="előadó"> <rdfs:comment> Az előadók osztálya. Minden előadó oktatói állományban van. </rdfs:comment> <rdfs:subclassof rdf:resource="#oktatóiszemélyzet"/> </rdfs:class> <rdfs:class rdf:id="kurzus"> <rdfs:comment>a kurzusok osztálya</rdfs:comment> </rdfs:class> 35

Példa (Finin) <rdf:property rdf:id="előadója"> <rdfs:comment>kurzusokhoz előadókat rendel. </rdfs:comment> <rdfs:domain rdf:resource="#kurzus"/> <rdfs:range rdf:resource="#előadó"/> </rdf:property> <rdf:property rdf:id="előadja"> <rdfs:comment>előadókhoz kurzusokat rendel. </rdfs:comment> <rdfs:domain rdf:resource="#előadó"/> <rdfs:range rdf:resource="#kurzus"/> </rdf:property> 36

Példa (Finin) <uni:előadó rdf:id="123456" uni:név="példa Péter" uni:titulus="professzor"> <uni:előadja rdf:resource="#k1111"/> <uni:előadja rdf:resource="#k2222"/> </uni:előadó> <uni:előadó rdf:id="987654" uni:név="minta Margit" uni:titulus="professzor"> <uni:előadja rdf:resource="#k1111"/> <uni:előadja rdf:resource="#k1113"/> </uni:előadó> <uni:kurzus rdf:id="k1111" uni:kurzusnév=" "> <uni:oktatója rdf:resource="#123456"/> </uni:kurzus> <uni:kurzus rdf:id="k2222" uni:kurzusnév="autonóm rendszerek"> <uni:oktatója rdf:resource="#123456"/> </uni:kurzus> 37

RDFS néhány jellemzője objektum orientált modellben az objektum osztályban definiálják az osztály tulajdonságait új tulajdonság hozzáadása módosítja az osztályt RDFS-ben a tulajdonságokat globálisan definiálják és nincsenek attribútumként bezárva az osztálydefinícióba új tulajdonságokat lehet definiálni az osztály megváltoztatása nélkül tulajdonságoknak is lehet tulajdonságuk nem lehet az alosztályban szűkíteni a tulajdonságok alanyát és tárgyát 38

RDFS néhány jellemzője nincs tagadás van nyílt világ szemantika ezért néhány ellentmondást nem lehet detektálni nem lehet azt állítani, hogy Apa és Anya diszjunkt osztályok a nyílt világ szemantika miatt az ilyen példányok hiánya nem jelenti azt, hogy ilyen nem lehet 39

RDFS néhány jellemzője objektum orientált modellben és számos ismeretalapú modellben valami vagy osztály vagy példány, de nem mindkettő RDFS-ben mindkettő lehet bio:faj rdf:type rdfs:class. bio:kutya rdf:type rdfs:faj; rdfs:subclassof bio:állat. :bundi rdf:type bio:kutya. mindezek a jellemzők szabadságot adnak például nem kell egy osztályt előre teljesen specifikálni, bármikor bővíthető de problémákat is jelentenek 40

RDFS problémák RDFS kifejezőképességének gyengeségeire példák: az alany és tárgy korlátozásokat nem lehet lokalizálni nem mondhatjuk, hogy a gyereke tulajdonság tárgya ember, ha emberekre alkalmazzuk és kutya, ha kutyákra alkalmazzuk nincs létezés és számosság korlátozás nem mondhatjuk, hogy minden embernek van anyja, vagy hogy minden embernek pontosan két szülője van nincsenek tranzitív, inverz vagy szimmetrikus tulajdonságok nem mondhatjuk, hogy a része tulajdonság tranzitív 41

RDF(S) szemantika RDF adatmodell egyszerű de nagy szabadságot enged meg szemantika megadása kétféle lehet RDF Model Theory (MT) axiomatikus megfeleltetés egy másik olyan reprezentációnak, aminek van szemantikus modellje, például elsőrendű logika 42

Szemantika modell elmélettel ismeretalapú a világ (egy részét) kívánja modellezni a nyelvi kifejezések a világ elemeinek felelnek meg a modellelmélet interpretációval kacsolja a szintaxist az elemekhez több interpretáció (modell) lehetséges a modell elemei a világ elemeinek felelnek meg formális kapcsolat a szintaxis és a modell között következtetést modell elmélettel lehet definiálni 43

Leíró logikák szemantikája (ism.) a szemantikát az elsőrendű logika adja (ábra Horrocks) interpretációs függvény I interpretációs tárgykör I egyedek i I I János Mária fogalmak C I I Jogász Orvos Jármű szerepek r I I I gyereke birtokol (Jogász Orvos) 44

RDF szemantikája modell elmélettel (http://www.w3.org/tr/rdf-mt/) egy V szókészlet I interpretációja: IR: erőforrások nem üres halmaza ( megfelelője) IS: V leképzése IR-re (interpretációs fv.) IP: az IR egy kitüntetett részhalmaza (a tulajdonságok) egy v V szóelem tulajdonság IS(v) IP IEXT: IP leképzése IR IR hatványhalmazára vagyis a tulajdonság elemek leképzése az IR IR részhalmazaira LV: az IR egy kitüntetett részhalmaza (literál értékek) IL: a literál értékek leképzése LV-re 45

RDF szemantikája modell elmélettel (http://www.w3.org/tr/rdf-mt/) 46

RDF szemantikája modell elmélettel (http://www.w3.org/tr/rdf-mt/) RDF Vocabulary (rdfv) rdf:type rdf:property rdf:xmlliteral rdf:nil rdf:list rdf:statement rdf:subject rdf:predicate rdf:object rdf:first rdf:rest rdf:seq rdf:bag rdf:alt rdf:_1 rdf:_2... rdf:value egy V szókészlet RDF interpretációja a V rdfv szókészlet interpretációja kiegészítve RDF szemantikai feltételekkel és RDF axiomatikus hármasokkal 47

RDF szemantikája modell elmélettel (http://www.w3.org/tr/rdf-mt/) RDF szemantikai feltételek x IP <x, IS(rdf:Property)> IEXT(I(rdf:type)) stb. RDF axiomatikus hármasok rdf:type rdf:type rdf:property. rdf:subject rdf:type rdf:property. rdf:predicate rdf:type rdf:property.... rdf:nil rdf:type rdf:list. 48

RDF szemantikája modell elmélettel (http://www.w3.org/tr/rdf-mt/) és még további részletek 49

RDFS szemantikája modell elmélettel osztály interpretáció x ICEXT(y) <x,y> IEXT(IS(rdf:type)) RDFS további szemantikai feltételeket és axiomatikus hármasokat ad hozzá RDFS szemantikai feltétel például <x,y> IEXT(IS(rdfs:domain)) <u,v> IEXT(x) u ICEXT(y) RDF axiomatikus hármasok például rdf:type rdfs:domain rdfs:resource. rdfs:domain rdfs:domain rdf:property. 50

RDF(S) értékelése a gráf megközelítés egyszerű de vannak hátrányai például hatókör (scope) kijelölése nehézkes vannak hátrányai, de a gyakorlatban szabvánnyá vált elég kifejezőképességű az alapokhoz erőforrások azonosítására és összekapcsolására megfelel (LOD) nem standard szemantika, ezért nehéz következtetőt készíteni hozzá alapelvek - URI-k azonosítanak - HTTP URI embereknek - hasznos információ - kapcsolat más URI-hoz 51