(Ez a fordts a W3C Magyar Irodjnak megbzsbl, az
Informatikai s Hrkzlsi Minisztrium
tmogatsval kszlt)
Krjk, kvesse figyelemmel a dokumentum eredeti angol nyelv vltozatra vonatkoz hibajegyzket, mert ez normatv korrekcikat is tartalmazhat.
A dokumentumrl tovbbi fordtsok is rendelkezsre llnak.
CÔNG TY TNHH ĐẦU TƯ THƯƠNG MẠI VÀ DỊCH VỤ HỮU QUYẾT
Số 2, ngách 1/1 Phố Thiên Hiền, Phường Mỹ Đình 1, Quận Nam Từ Liêm, Thành phố Hà Nội.
MST: 0110557925
Az RDF (Resource Description Framework) egy keretrendszer a weben trtn informcibrzols cljra.
Ez a dokumentum egy absztrakt szintaxist definil, amelyre az RDF pl, s amely arra szolgl, hogy az RDF konkrt szintaxist annak formlis szemantikjhoz kapcsolja. A dokumentum ismerteti tovbb a keretrendszer tervezsi cljait, alapfogalmait, adattpus rendszert, karakterszabvnyait, valamint URI hivatkozsainak kezelst.
Ezt a dokumentumot a W3C Tagjai s ms rdekelt rsztvevk ellenriztk, s az Igazgat W3C Ajnlsknt hitelestette. Az Ajnls elksztsvel a W3C clja s szerepe az, hogy rirnytsa a figyelmet a specifikcira, s elsegtse annak szles kr alkalmazst. Ez megnveli a Web hasznlhatsgt, s javtja a weben trtn egyttmkdst.
Ez a dokumentum egyike annak a hat dokumentumnak (Bevezets, Fogalmak, Szintaxis, Szemantika, Szkszlet s Tesztsorozat), amelyek egyttesen felvltjk az eredeti Resource Description Framework specifikcikat: az RDF Model and Syntax (1999 Recommendation) s az RDF Schema (2000 Candidate Recommendation) cm dokumentumokat. A jelen dokumentumot az RDF Core Working Group (RDF Mag Munkacsoport) dolgozta ki a W3C Szemantikus Web Munkaprogramja keretben, s 2004. februr 10. dtummal publiklta. (Lsd a Munkaprogram-nyilatkozatot s a Munkacsoport alapszablyt).
Az Elzetes Ajnlstervezet Munkaanyag ta a jelen Ajnls megszletsig a dokumentumon vgrehajtott mdostsokat a vltoztatsi napl rszletezi.
A Munkacsoport szvesen fogadja az olvaskznsg szrevteleit a [email protected] (archive) cmn; az idevg technolgik ltalnos vitjt pedig a [email protected] (archive) cmn folytatja.
Rendelkezsre ll egy konszignci az ismert alkalmazsokrl.
A W3C listt vezet tovbb azokrl a felfedett szabadalmi ignyekrl is, amelyek ehhez a munkhoz kapcsoldnak.
Ez a szekci a dokumentumnak a publiklskor rvnyes sttust rgzti. Ms dokumentumok hatlytalanthatjk ezt a dokumentumot. A legjabb W3C publikcik listja, valamint e technikai riport utols kiadsa megtallhat a W3C technikai riportok indexben, a http://www.w3.org/TR/ alatt.
Az RDF (Resource Description Framework) egy keretrendszer a weben trtn informcibrzols cljra.
Ez a dokumentum egy absztrakt szintaxist definil, amelyre az RDF pl, s amely arra szolgl, hogy az RDF konkrt szintaxist annak formlis szemantikjhoz kapcsolja. Ez az absztrakt szintaxis teljesen klnbzik az XML fa-struktrn alapul, un. "infohalmaztl" [XML-INFOSET]. A dokumentum trgyalja tovbb a tervezsi clokat, az alapvet RDF fogalmakat, az adattipizlst, a karakterszabvnyostst s az URI hivatkozsok kezelst.
Az RDF normatv dokumentcija az albbi terletek dokumentumaibl tevdik ssze:
E dokumentum megfelel fejezeteinek cmben jelezzk, ha a bennk szerepl informcik normatv hatlyak. Az ilyen fejezetekben lv kiemelt Megjegyzsek azonban itt is csak informatv jelleg informcikat kzlnek.
A keretrendszert gy terveztk meg, hogy a szkszletek egymsra rtegezhetek legyenek. Az RDF s az RDF Sma [RDF-SZKSZLET] a szkszletek els rtegt alkotjk. Ms szkszletek (mint pl. az [OWL] szkszlet, vagy azok az alkalmazsok, amelyeket az [RDF-BEVEZETS]) is megemlt, mg fejleszts alatt llnak.
A 2. fejezet a rendszer alapvet indokait s tervezsi cljait ismerteti. Ezt kveti az alapfogalmak bemutatsa a 3. fejezetben, mg a 4. fejezet az RDF cljaira tartalkolt URI hivatkozsokat trgyalja.
Az 5. fejezet az adattpusokat, ezen bell az 5.1 szekci a literlis kifejezsek XML tartalmt ismerteti. Az RDF absztrakt szintaxisnak defincija pedig a 6. fejezetben tallhat.
A 7. fejezet az RDF-ben hasznlt URI hivatkozsok erforrsrsz-azonostjnak (fragment identifier) szerepvel ismerteti meg az olvast.
Az RDF-nek olyan absztrakt szintaxissal kell rendelkeznie, mely egy egyszer, grf alap adatmodellt, valamint egy olyan formlis szemantikt tkrz, amelyben a kvetkezmny (entailment) fogalma igen szigoran definilt, hogy ennek alapjn az RDF adatokbl jl megalapozott informcikat lehessen levezetni.
Az RDF fejlesztst (egyebek kztt) az albbi vrhat alkalmazsok motivltk:
Az RDF-et gy terveztk meg, hogy alkalmas legyen a flexibilis, minimlisan korltoz adatbrzolsra. Ennek hasznlhatnak kell lennie teht olyan elszigetelt alkalmazsokban is, ahol az egyedileg tervezett formtumok kzvetlenebbek, s knnyebben rthetk, de ahol az RDF (az egyetemessgnl fogva) megnveli az informcik rtkt azltal, hogy lehetv teszi az adatok tbbcl, megosztott felhasznlst az Interneten fut klnfle alkalmazsok szmra.
Az RDF konstrukcijnak megtervezsekor az albbi clokat tartottuk szem eltt:
Az RDF adatmodellje egyszer, azt az alkalmazsok knnyen feldolgozhatjk s manipullhatjk. Az adatmodell fggetlen brmilyen specifikus szerializcis szintaxistl.
Megjegyzs: az "adatmodell" kifejezsben a "modell" sznak itt ms az rtelme, mint a "modell-elmlet" kifejezsben. (Az [RDF-SZEMANTIKA] dokumentum tovbbi informcikat tartalmaz a modell-elmletrl, ahogyan azt a matematika s a logika szakirodalmban hasznljk).
Az RDF formlis szemantikja megbzhat alapot teremt egy RDF kifejezs jelentsbl trtn kvetkeztetsekhez. Ezt azzal ri el, hogy egy nagyon szigor kvetkezmny fogalmat tmogat, amelynek alapjn megbzhat kvetkeztetsi szablyok definilhatk az RDF adatokbl kvetkez konklzik levonsra.
A szkszlet korltlanul bvthet, minthogy ez URI hivatkozsokra (URI references vagy URIrefs) pl, amelyek (opcionlisan) un. erforrsrsz-azonostt (fragment Identifier-t) is tartalmazhatnak. Az RDF-ben URI hivatkozsokat hasznlunk minden dolognak a megnevezsre.
A hivatkozsok mellett, a msik tpus rtk, ami az RDF adatokban megjelenik, az a literl.
Az RDF-ben van egy ajnlott XML szerializcis szintaxis: az [RDF-SZINTAXIS], mellyel alkalmazsok kztti informcicsere cljra kdolhatjuk az adatmodellt.
Az RDF olyan adatrtkeket hasznl, amelyeket az XML Sma adattpusainak megfelelen brzolunk [lsd: XML-SCHEMA2], elsegtve ezzel az adatcsert az RDF alkalmazsok s ms XML alkalmazsok kztt.
Az RDF, hogy teljes Internet szlessgben megknnytse ezt a mveletet, egy "nyitott vilg" jelleg keretet biztost, amelyben brki, brmelyik erforrsrl lltsokat fogalmazhat meg.
Az RDF-ben ltalban nem felttelezzk, hogy brmelyik forrsrl komplett informci ll rendelkezsre. Az RDF azt is megengedi, hogy kptelen, vagy inkonzisztens lltsokat is megfogalmazzunk. Ezrt nem rt, ha az RDF-et hasznl alkalmazsok fejleszti tudatban vannak ennek, s gy tervezik meg az alkalmazsaikat, hogy azok tolerlni tudjk a nem komplett, s nem ellentmonds-mentes informciforrsokat is.
Az RDF az albbi fogalmakat hasznlja:
Az RDF-ben brmilyen kifejezs alapstruktrja olyan tripletek (egyszer kijelent mondatok) gyjtemnybl ll, amelyek mindegyike egy alanyt (subject), egy lltmnyt (predicate) s egy trgyat (object) tartalmaz. Az ilyen tripletek halmazt RDF grfnak nevezzk (ezt formlisabban a 6. fejezet definilja). Ez a grf egy csompont-s-irnytott-l tpus diagrammal brzolhat, amelyben minden tripletet egy csompont-l-csompont kapcsolat reprezentl (innen a "grf" elnevezs).
Minden triplet egy kijelentst brzol, amely a kt csomponttal jellt dolog kztti viszonyt rja le. Mint fentebb emltettk, minden triplet az albb definilt hrom rszbl ll:
Az l irnya szignifikns, s ennek mindig a trgyra kell mutatnia.
Az RDF grf csompontjai a grf alanyai s trgyai.
Egy RDF triplet azt jelenti ki, hogy az alany s a trgy ltal megjellt dolgok kztt az lltmny ltal megfogalmazott viszony ll fenn. Egy RDF grf lltstartalmt a grfot alkot tripletek lltsainak sszessge adja, vagyis egy RDF grf jelentse nem ms, mint a benne lv sszes triplet ltal megfogalmazott kijelents konjunkcija (logikai S kapcsolata). Az RDF grfok jelentsnek formlis defincijt az [RDF-SZEMANTIKA] fogalmazza meg.
Egy csompont lehet egy URI egy opcionlis erforrsrsz-azonostval (URI hivatkozs vagy URIref), lehet egy literl, vagy lehet egy res csompont (ez utbbinak nincs kln azonostsi formja). A tulajdonsgok (a grf-lek) szintn lehetnek URI hivatkozsok. (Az URI hivatkozsi formkat a 4. fejezet [URI] szakasza mutatja be, megjegyezve, hogy relatv URI-ket nem hasznlunk az RDF grfban. Lsd a 6.4 szekcinl is.)
Egy URI hivatkozs, vagy egy literal, amelyet csompontknt hasznlunk, annak a dolognak az azonostja, amit a csompont reprezentl. Egy olyan URI hivatkozs, amelyet lltmnyknt (tulajdonsgknt) hasznlunk, annak a kt dolognak a viszonyt azonostja, amelyet sszekapcsol. Egy lltmnyknt hasznlt URI hivatkozs nemcsak lknt, hanem csompontknt is elfordulhat ugyanabban a grfban [minthogy a tulajdonsgokrl, magukrl, is tehetnk lltsokat – a ford.].
Az res csompont egy olyan csompont, mely nem URI hivatkozs, s nem is literl. Az RDF absztrakt szintaxisban az res csompont csak egy specilis segdcsompont, amelyet egy vagy tbb RDF kifejezs hasznl, de amelynek nincs valdi neve.
Egyes lineris RDF grf brzolsoknl hasznlnak egy nvkonvencit az olyan azonostatlan erforrsok megnevezsre, amelyekre egynl tbb RDF kifejezs hivatkozik: ez az rescsompont-azonost egy helyi nv, mely megklnbztethet minden URI-tl s minden literltl. Amikor grfokat egyestnk, azok res csompontjai tovbbra is megklnbztethetk kell hogy maradjanak, ha az ilyen csompontok jelentst meg kell rizni; ehhez szksg lehet az azonostjuk jra-alloklsra. Jegyezzk meg azonban, hogy az rescsompont-azonostk nem rszei az RDF absztrakt szintaxisnak, vagyis az ilyen csompontokat tartalmaz tripletek brzolsa teljes mrtkben az alkalmazott konkrt szintaxistl fgg.
Az RDF-ben adattpusokat hasznlunk olyan rtkek brzolsra, mint egsz szmok, lebegpontos szmok s dtumok.
Egy adattpus egy lexiklis trbl, egy rtktrtbl, valamint egy lexiklisrl rtkre trtn lekpezsbl ll (lsd az 5. fejezetben).
Pldul: az xsd:boolean XML Sma adattpusnak a lexiklisrl rtkre trtn lekpezse az albbi (itt lthat, hogy az rtktr rtkeinek, amelyeket a T s az F (Igaz s Hamis) reprezentl, ktfle lexiklis reprezentcija is van):
rtktr | {T, F} |
---|---|
Lexiklis tr | {"0", "1", "true", "false"} |
Lekpezs lexiklisrl, rtkre | {<"true", T>, <"1", T>, <"0", F>, <"false", F>} |
Az RDF csupn egyetlen adattpust definil elre: az rdf:XMLLiteral-t, amelyet az XML RDF-be trtn begyazsa cljbl hasznlnak (lsd az 5.1 szekcit).
Az RDF-ben nincsenek olyan beptett fogalmak, mint pl. szmok, dtumok, vagy ms szoksos rtkek. Ehelyett az RDF a rajta kvl definilt adattpusokra hagyatkozik, amelyeket URI hivatkozsokkal azonost. Vrhat, hogy az XML Sma elre definilt adattpusait [XML-SCHEMA2] szles krben hasznljk majd RDF clokra is.
Maga az RDF nem rendelkezik ugyan j adattpusok definilsra alkalmas mechanizmussal, azonban az XML Sma [XML-SCHEMA2] biztost egy megfelel bvtsi lehetsget olyan j adattpusok definilsra, amelyeket az RDF-ben is hasznlni lehet.
A literlokat olyan rtkek azonostsra hasznljuk, mint pl. szmok vagy dtumok. Az azonosts az rtkek lexiklis brzolsa tjn trtnik. Brmit, amit literllal brzolhatunk, akr URI hivatkozssal is brzolhatnnk, de gyakran clszerbb s intuitvebb egy literl hasznlata.
Egy literl lehet egy RDF llts trgya, de nem lehet az alanya, s nem lehet az lltmnya.
A literlok lehetnek tpus nlkliek vagy tipizltak :
lang
) kombinlt karakterlnc. Ez nylt szvegknt hasznlhat a megadott termszetes nyelven. Amint azt az RDF formlis szemantikja [RDF-SZEMANTIKA] ajnlja, ezeknek a tpus nlkli literloknak ndefinilknak kell lennik.A 3.3 szekci pldjt folytatva: azok a tipizlt literlok, amelyeket az xsd:boolean XML Sma adattpus segtsgvel definilhatunk, a kvetkezkppen nznek ki:
Tipizlt literl | Lexiklisrl rtkre trtn lekpezs | rtk |
---|---|---|
<xsd:boolean, "true"> | <"true", T> | T |
<xsd:boolean, "1"> | <"1", T> | T |
<xsd:boolean, "false"> | <"false", F> | F |
<xsd:boolean, "0"> | <"0", F> | F |
Olyan szvegekben, amelyek jellseket (markup) tartalmazhatnak, rdf:XMLLiteral osztly tipizlt literlokat hasznlunk. Ha nyelvet kell rendelnnk a literlhoz, akkor azt explicit jellsknt adjuk meg, tipikusan az xml:lang
attribtum segtsgvel. Ezen az ton [XHTML] is bepthet az RDF-be, de ilyenkor nha egy tovbbi span
vagy div
elemre is szksg lehet, amelyben a lang
vagy xml:lang
attribtumot el tudjuk helyezni.
Mind a tipizlt, mind a tpus nlkli literlok szvegnek ajnlott karakterkdja a Unicode Normal Form C [NFC]. Ezt a dntst a [CHARMOD] motivlta, klnsen annak 4. fejezete (Early Uniform Normalization).
Egy egyszer tny valamilyen viszonyt fejez ki kt dolog kztt. Egy ilyen tnyt egy RDF triplettel fejezhetnk ki, amelyben az lltmny nevezi meg a viszonyt, az alany s a trgy pedig a kt dolgot, amelyre az lltmny vonatkozik. Egy ilyen tny ismers brzolsa pl. egy relcis adatbzis kt oszlopbl ll tblzatnak egyik sora, ahol a kt oszlop egy RDF triplet alanynak s trgynak, a tblzat neve a pedig a triplet lltmnynak felel meg. Tovbbi, hasonl tnybrzolsi forma a binris relci vagy a ktvltozs prediktumfggvny az elsrend logikban.
A relcis adatbzisok megengedik, hogy a tblzatuknak tetszleges szm oszlopa legyen. A tblzat egy sora ebben az esetben olyan informcit reprezentl, mely az elsrend logikban egy n-ris relcinak, vagy tbbvltozs prediktumfggvnynek felel meg. Egy ilyen sort, vagy prediktumfggvnyt termszetesen dekomponlni szksges ahhoz, hogy RDF tripletekkel brzolhassuk. Ennek legegyszerbb mdja az, hogy bevezetnk egy j, res csompontot, mely a sornak felel meg, s egy-egy tripletet adunk meg a sor minden cellja szmra. Ily mdon minden triplet alanya megfelel az res csompontnak, az lltmnya a megfelel oszlop nevnek, a trgya pedig a cellban lv rtknek. Az res csompontnak lehetne egy rdf:type tulajdonsga is, mely a tblzat nevnek felelne meg.
Pldakppen vizsgljuk meg az [RDF-BEVEZETS] 6. brjt:
Az gy brzolt informci megfelelne mondjuk egy "ALKALMAZOTTAK CMEI" tblzat egyik sornak, ahol az elsdleges kulcs az "ALKALMAZOTTAZONOST" (az brn: staffid), a tovbbi oszlopok pedig a VROS, az UTCA, az LLAM s az IRNYTSZM (az brn: city, street, state s postalCode).
Lthatjuk teht, hogy egy sszetettebb tnyt tudtunk brzolni az RDF-ben azltal, hogy konjunkciba (logikai S kapcsolatba) hoztuk az egyszer binris viszonyokat. Megjegyzend azonban, hogy az RDF nem teszi lehetv a diszjunkci (VAGY kapcsolat) s a negci (NEM) kifejezst.
Bvthet, URI alap szkszletnl fogva az RDF lehetv teszi, hogy segtsgvel tnyeket fogalmazzunk meg tetszleges alanyokrl; vagyis, hogy nvvel azonostott tulajdonsgot jelentsnk ki meghatrozott, s szintn nvvel azonostott dolgokrl. Minthogy konstrulhatunk URI alap azonostt brmilyen megnevezhet dolog szmra, ezrt az RDF-ben minden elkpzelhet dologrl megfogalmazhatunk tnylltsokat.
A jelentsrl s a kvetkeztetsrl alkotott elkpzelseket az RDF-ben a kvetkezmny formlis koncepcija tmasztja al, amelyet az [RDF-SZEMANTIKA] kimerten ismertet. Ennek lnyege rviden: egy A RDF kifejezsnek akkor, s csak akkor kvetkezmnye egy B RDF kifejezs, ha a vilg dolgainak minden lehetsges elrendezse, mely igazz teszi A-t, egyben igazz teszi B-t is. Ezen az alapon, ha A igaz volta belthat vagy bizonythat, akkor ebbl B igazsga kvetkezik.
Az RDF URI hivatkozsokat hasznl az erforrsok s tulajdonsgok azonostsra. Egyes URI hivatkozsoknak specilis jelentst tulajdont az RDF. Pldul az albbi karakterlnccal kezdd URI hivatkozsokat az RDF specifikci definilja:
Ha ezt az URI eltt-karakterlncot az RDF/XML szerializciban hasznljuk, az mindig olyan XML nvtr-neveknek [XML-NS] felel meg, amelyek az RDF szkszlet kifejezseihez asszocildnak.
Megjegyzs: Ez a nvtr-nv ugyanaz, mint amelyet a korbbi RDF ajnlsban [RDF-MS] hasznltak.
Az rdf: nvtrben lv szkszlet kifejezseit az RDF szintaxis-specifikci [RDF-SZNTAXIS] 5.1 szekcija sorolja fel. Az RDF specifikcik e kifejezsek kzl nhnyat specifikus RDF fogalmak megnevezsre definiltak, mg msok szintaktikai clokat szolglnak (pl. az rdf:ID
az RDF/XML szintaxis rsze).
Az RDF-ben hasznlt adattpus-absztrakci kompatibilis az XML Sma 2. rsznek [XML-SCHEMA2] adattpusainl hasznlt absztrakcival.
Egy adattpus egy lexiklis trbl, egy rtktrbl, s egy lexiklisrl rtkre trtn lekpezsbl ll.
Egy adattpus lexiklis tere Unicode [UNICODE] karakterlncok halmaza.
Egy adattpus lexiklisrl rtkre trtn lekpezse olyan prok halmaza, amelyek els eleme az adattpus lexiklis terhez, a msodik pedig az rtkterhez tartozik:
Egy adattpus azonosthat egy vagy tbb URI hivatkozssal.
Az RDF jl mkdik brmilyen adattpus-defincival, amely megfelel ennek az absztrakcinak, akkor is, ha azt nem az XML Sma szerint definiltk.
Az XML Sma nhny beptett adattpusa viszont nem alkalmas az RDF-ben (adatknt) trtn hasznlatra. Pldul a QName (minstett nv) adattpus elvrja, hogy a nvtrdeklarci szkpban legyen (azaz a QName adattpust hasznl kontextus ltkrn bell legyen) a lekpezs sorn, ezrt a hasznlata nem ajnlott az RDF-ben. Az [RDF-SZEMANTIKA] az XML Sma specifikus beptett adattpusainak rszletesebb kifejtst tartalmazza.
Megjegyzs: Amikor egy adattpust az XML Sma segtsgvel deklarlunk:
union
adattpus, olyan lexiklis lekpezssel, amelyik a union
-t alkot adattpusok egyikhez asszocildik.whiteSpace
adattpus mdost elem rtknek megfelelen. Az RDF adattipizlsnl hasznlt, lexiklisrl rtkre trtn lekpezs csak ez utn trtnik meg, s gy a whiteSpace
adattpus mdost elem mr nincs hatssal az RDF adattipizlsra.Az RDF lehetv teszi XML tartalom beptst egy megfelel literlis rtk formjban. Ezt a lehetsget tipikusan az RDF/XML szintaxis [RDF-SZNTAXIS] rdf:parseType="Literal" konstrukcijnak a hasznlata teremti meg.
Az effle tartalmat gy jelljk az RDF grfban, hogy egy olyan tipizlt literlt hasznlunk, amelynek az adattpusa egy specilis, beptett adattpus, az rdf:XMLLiteral, amely a kvetkezkppen van definilva:
Megjegyzs: Ennek az adattpusnak nem minden rtke felel meg az [XML 1.1] szabvnynak. Ha egy ilyen megfelels kvnatos, akkor csak azok az rtkek hasznlhatk, amelyek teljesen normalizltak az XML 1.1 szablyai szerint.
Megjegyzs: Itt az XML rtkek halmaza gy kpzelhet el, mint az [XML-INFOSET] halmaz, vagy az [XPATH] csompont-halmaz, amelyet egy megfelel egyenlsgi fggvnnyel megfeleltetnk a lexiklis formnak.
Megjegyzs: Az RDF alkalmazsok hasznlhatnak tovbbi egyenrtksgi relcikat is, pl. olyanokat, amelyek egy xsd:string
adattpust egy rdf:XMLLiteral
adattpusnak feleltetnek meg, amelynek eredmnye az adott karakterlnccal azonos egyetlen szvegcsompont lesz.
Ez a fejezet az RDF absztrakt szintaxist definilja, mely lnyegben tripletek egy halmaza, amelyet RDF grfnak neveznk.
Ez a fejezet, egyebek mellett, az RDF grfok kztti egyenrtksget is definilja. Az egyenrtksg defincija az RDF tesztsorozat [RDF-TESZTEK] specifikcijnak tmogatshoz szksges.
Implementcis megjegyzs: Ez az absztrakt szintaxis egy olyan szintaxis, amelyen keresztl a formlis szemantikt definiljuk. Az implementcik brzolhatjk a grfokat brmilyen ms, ezzel egyenrtk formban is. Pldul: egy RDF grfban az rdf:XMLLiteral tpus literlok brzolhatk nem kanonikus formtumban is, mely esetben a kanonikuss alakts kt ilyen literl sszehasonltsa sorn trtnik meg. Ez az sszehasonlts vgrehajthat akr a szintaktikai struktrk kztt, akr az adott tmaterleten belli elnevezseik kztt. Azok az implementcik, amelyek semmi effle sszehasonltst nem ignyelnek, ezen az alapon jl optimalizlhatk.
Egy RDF triplet hrom komponensbl ll:
Az RDF tripletet konvencionlisan alany, lltmny, trgy sorrendben rjuk.
Az lltmnyt a triplet tulajdonsgnak is nevezzk.
Az RDF grf tripletek egy halmaza.
Egy RDF grf csompontjainak halmazt a grf tripletjeinek alanyai s trgyai alkotjk.
Kt RDF grf, G s G', akkor egyenrtk, ha egy olyan, M bijektv lekpezs ll fenn a kt grf csompontjainak halmazai kztt, ahol:
Ebben a definciban az M bijektv lekpezs megmutatja, hogy hogyan lehet a G-ben lv minden egyes res csompontot helyettesteni egy j res csomponttal, hogy G'-t kapjuk eredmnyl.
Az RDF grfban egy URI hivatkozs (amelyet RDF URI hivatkozsnak neveznk), egy olyan [UNICODE] karakterlnc, amely:
a kdols:
Az ilyen tiltott s tugrott karakterek kz tartoznak az US-ASCII karakterkszlethez nem tartoz, tiltott karakterek mellett azok a kihagyand karakterek is, amelyeket az [URI] dokumentum 2.4 szekcija felsorol, kivve a (#) s (%) karaktereket, valamint a szgletes zrjel karaktereket, amelyeket jraengedlyezett az [RFC-2732].
A nem engedlyezett oktetteket az URI karakter tugr mechanizmusval kell kdolni, ami gy trtnik, hogy ezeket %HH formra konvertljuk, ahol HH az oktett rtknek megfelel ktjegy hexadecimlis szm.
Kt RDF URI hivatkozs akkor, s csak akkor egyenl, ha Unicode karakterlncknt, karakterrl karakterre sszehasonltva egyenleknek bizonyulnak.
Megjegyzs: Az RDF URI hivatkozsai kompatibilisek az anyURI adattpussal, ahogyan azt az XML schema adattpus [XML-SCHEMA2] definilja, de a helyi hivatkozsok helyett az abszolt URI hivatkozsokra korltozva.
Megjegyzs: Az RDF URI hivatkozsok kompatibilisek a Nemzetkziestett forrsazonostval (Internationalized Resource Identifier, vagy IRI) amelyet az XML nvterek specifikcija, az [XML Namespaces 1.1] definil.
Megjegyzs: Ez a szekci egy majdani RFC-t anticipl a Nemzetkziestett forrsazonostrl. Az RDF implementcik figyelmeztet zeneteket rhatnak ki az olyan RDF URI hivatkozsok hasznlata esetn, amelyek nem felelnek meg az IRI tervezetnek [IRI draft], vagy e tervezet ksbbi utdjainak.
Megjegyzs: Az abszolt URI hivatkozsokra trtn korltozs megtallhat az RDF absztrakt szintaxisban. Amikor mr ltezik egy jl definilt bzis-URI, akkor az olyan konkrt szintaxisok, mint az RDF/XML, engedlyezhetik a relatv URI-k hasznlatt az abszolt URI hivatkozsok rvidtseiknt.
Megjegyzs: Mivel fennll az sszetveszts kockzata kt olyan RDF URI, esetn, amelyik konkrt forrsra trtn hivatkozs (dereferencing) esetn egyenrtknek bizonyulna, a %-jellel tugratott karakterkdok hasznlata ersen ellenjavallt. (Lsd ehhez az URI-k egyenrtksgnek problmakrt (URI equivalence issue), amelyet a Mszaki Architektra Csoport (Technical Architecture Group [TAG]) kezel.
Egy RDF grfban egy literl egy vagy kt nevestett komponenst tartalmaz.
Minden literlnak van egy lexiklis formja, mely egy [UNICODE] karakterlnc, Normal Form C [NFC] kdolssal.
A tpus nlkli literloknak van egy lexiklis formjuk s egy opcionlis nyelv tegjk, ahogyan azt az [RFC-3066] ajnlja, s amelyet kisbetkre normalizlunk.
A tipizlt literloknak van egy lexiklis formjuk, s egy adattpus URI-jk, mely egy RDF URI hivatkozs.
Megjegyzs: Hasznlhatk az olyan literlok is, amelyek lexiklis formja egy sszetett karakterrel [pl. C-Cedilla] kezddik (ahogyan azt a [CHARMOD] szablyozza), ezek azonban egyttmkdsi problmkhoz vezethetnek, klnsen az [XML 1.1] szabvnyt kvet XML alkalmazsokkal trtn adatcsere esetn.
Megjegyzs: Amikor a nyelv-teget hasznljuk, gyelnnk kell arra, hogy ne tvesszk ssze a "nyelv" fogalmt a "helyi konvencik" (locale) fogalmval. A nyelv-teg kizrlag a termszetes nyelv szvegre vonatkozik. Megjelentsi krdsekkel csak a vgfelhasznli alkalmazsokban szksges foglalkozni.
Megjegyzs: A nyelv-tegek kisbet/nagybet normalizcija azonban mr rsze az absztrakt szintaxis lersnak, s ezltal az RDF alkalmazsok absztrakt viselkedsnek is. Lnyeges teht, hogy brmely kt nyelv-teg sszehasonltsa se legyen rzkeny az eredeti input kisbet/nagybet klnbsgeire.
Kt literl akkor, s csak akkor egyenl, ha velk kapcsolatban az albbi lltsok hinytalanul igazak:
Megjegyzs: Az RDF literlok klnbznek, s megklnbztethetk az URI hivatkozsoktl; pldul: a http://example.org mint (tpus s nyelv teg nlkli) RDF Literal nem egyenl a http://example.org-gal mint RDF URI hivatkozssal.
Az adattpus URI-k adattpusokra hivatkoznak. Az XML Sma beptett adattpusaira olyan URI-kkel hivatkozunk, mint pl: http://www.w3.org/2001/XMLSchema#int. Az rdf:XMLLiteral adattpus URI-je szintn hasznlhat adattpusknt. Hasznlhatk mg egyb, implementcitl fgg mechanizmusok is, amelyekben szintn URI-k hivatkoznak adattpusokra.
A tipizlt literl rtkt gy kapjuk meg, hogy a literl lexiklis formjra alkalmazzuk az adattpusnak URI-jhez asszocilt, lexiklisrl rtkre trtn lekpezst.
Ha a lexiklis forma nincs benne annak az adattpusnak a lexiklis terben, amelyre a literl adattpus URI-je hivatkozik, akkor nem kapcsolhat rtk a tipizlt literlhoz. Noha ez egy hiba, ilyen esetben mgsem beszlnk szintaktikailag rosszul formlt dokumentumrl.
Megjegyzs: Alkalmazsi krnyezetben a tipizlt literlok rtknek sszehasonltsa (lsd a 6.5.2 szekcinl) ltalban clravezetbb, mint a szintaktikai formjuk sszehasonltsa (lsd a 6.5.1 szekcinl). Ugyangy, az RDF grfok sszehasonltsnl, azok szemantikai kvetkezmnyeinek sszehasonltsa (lsd [RDF-SZEMANTIKA]) tbbnyire clravezetbb, mint a szintaktikai egyenlsgk kimutatsa (lsd a 6.3 szekcinl).
Egy RDF grfban az res csompontokat egy vgtelen halmazbl nyerjk. Az res csompontoknak ez a halmaza, tovbb az sszes RDF URI hivatkozs halmaza, valamint az sszes literl halmaza pronknt diszjunkt halmazokat alkotnak.
Egyb tekintetben az res csompontoknak ez a halmaza tetszleges.
Az RDF nem hivatkozik az res csompontok semmilyen bels struktrjra. Kt res csompontrl mindig eldnthet, hogy azonosak-e, vagy sem.
Az RDF olyan RDF URI hivatkozst hasznl, mely egy erforrs kontextusfggetlen azonostjaknt magban foglalhat egy erforrsrsz-azonostt. Ugyanakkor az RFC 2396 [URI] kimondja, hogy egy okumentumrsz-azonost jelentse a dokumentum MIME tartalomtpustl fgg, vagyis kontextusfgg.
Ezek az ellentmondnak tn nzetek kibkthetk, ha meggondoljuk, hogy egy RDF grfban szerepl URI hivatkozst az application/rdf+xml MIME tpus szerint kezelnk [RDF-MIME-TYPE]. Ha teht adott egy RDF URI hivatkozs, mely egy abszolt URI-bl s egy erforrsrsz-azonostbl ll, akkor az erforrsrsz-azonost ugyanazt a dolgot azonostja, mint amit az az abszolt URI komponens, mely egy application/rdf+xml brzols erforrsra mutat. gy teht:
Ez lehetv teszi, hogy oly mdon hasznljuk az URI hivatkozsokat, s ezek jelentseit, hogy az megfeleljen az RDF modell-elmletnek s alkalmazsnak, de megfeleljen a Web hagyomnyos viselkedsnek is. Jegyezzk meg teht, hogy az RDF (mint nyelv) szempontjbl nem kvetelmny az, hogy egy RDF alkalmazs konkrtan el is tudja rni a grfjban szerepl URI hivatkozsokkal azonostott erforrsok brmilyen reprezentcijt.
Ez a dokumentum Pat Hayes, Sergey Melnik s Patrick Stickler jelents hozzjrulsval kszlt. Az irnytsukkal fejlesztettk ki azt a keretet, amelyet az olyan adattpusokrl szl RDF specifikcicsald r le, mint az egsz szmok s a dtumok.
A szerkesztk ksznetet mondanak az rtkes hozzjrulsukrt az albbi munkatrsaknak: Frank Manola, Pat Hayes, Dan Brickley, Jos de Roo, Dave Beckett, Patrick Stickler, Peter F. Patel-Schneider, Jerome Euzenat, Massimo Marchiori, Tim Berners-Lee, Dave Reynolds s Dan Connolly.
Jeremy Carroll ezton szeretn ksznett kifejezni Oreste Signore rnak, aki vendgltja volt a W3C Olasz Irodjnl, valamint az Allessandro Fedo Informcitudomnyi s Informcitechnolgiai Intzetnl (Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"), mely az olasz nemzeti kutatsi tancs (Consiglio Nazionale delle Ricerche) rsze, s ahol Jeremy vendgkutatknt dolgozik.
Ez a dokumentum az RDF Mag Munkacsoport blcs s kitart egyttgondolkodsnak eredmnye. E csoport tagjai: Art Barstow (W3C), Dave Beckett (ILRT), Dan Brickley (ILRT), Dan Connolly (W3C), Jeremy Carroll (Hewlett Packard), Ron Daniel (Interwoven Inc), Bill dehOra (InterX), Jos De Roo (AGFA), Jan Grant (ILRT), Graham Klyne (Nine by Nine), Frank Manola (MITRE Corporation), Brian McBride (Hewlett Packard), Eric Miller (W3C), Stephen Petschulat (IBM), Patrick Stickler (Nokia), Aaron Swartz (HWG), Mike Dean (BBN Technologies / Verizon), R. V. Guha (Alpiri Inc), Pat Hayes (IHMC), Sergey Melnik (Stanford University) s Martyn Horner (Profium Ltd).
Ez a specifikci pt tovbb egy korbbi RDF modell s szintaxis dokumentumra, amelyet Ora Lassilla s Ralph Swick szerkesztettek, valamint egy RDF sma dokumentumra is, amelynek a szerkeszti Dan Brickley s R. V. Guha voltak. Azok az RDF s RDF Sma Munkacsoport-tagok, akik rsz vettek ezeknek a korbbi dokumentumoknak a kidolgozsban, a kvetkezk: Nick Arnett (Verity), Tim Berners-Lee (W3C), Tim Bray (Textuality), Dan Brickley (ILRT / University of Bristol), Walter Chang (Adobe), Sailesh Chutani (Oracle), Dan Connolly (W3C), Ron Daniel (DATAFUSION), Charles Frankston (Microsoft), Patrick Gannon (CommerceNet), R. V. Guha (Epinions, previously of Netscape Communications), Tom Hill (Apple Computer), Arthur van Hoff (Marimba), Renato Iannella (DSTC), Sandeep Jain (Oracle), Kevin Jones, (InterMind), Emiko Kezuka (Digital Vision Laboratories), Joe Lapp (webMethods Inc.), Ora Lassila (Nokia Research Center), Andrew Layman (Microsoft), Ralph LeVan (OCLC), John McCarthy (Lawrence Berkeley National Laboratory), Chris McConnell (Microsoft), Murray Maloney (Grif), Michael Mealling (Network Solutions), Norbert Mikula (DataChannel), Eric Miller (OCLC), Jim Miller (W3C, emeritus), Frank Olken (Lawrence Berkeley National Laboratory), Jean Paoli (Microsoft), Sri Raghavan (Digital/Compaq), Lisa Rein (webMethods Inc.), Paul Resnick (University of Michigan), Bill Roberts (KnowledgeCite), i Tsuyoshi Sakata (Digital Vision Laboratories), Bob Schloss (IBM), Leon Shklar (Pencom Web Works), David Singer (IBM), Wei (William) Song (SISU), Neel Sundaresan (IBM), Ralph Swick (W3C), Naohiko Uramoto (IBM), Charles Wicksteed (Reuters Ltd.), Misha Wolf (Reuters Ltd.) s Lauren Wood (SoftQuad).
application/rdf+xml
is archived at http://www.w3.org/2001/sw/RDFCore/mediatype-registration .Nem voltak lnyeges vltoztatsok.
Az albbi szerkeszti vltoztatsokat hajtottk vgre az anyagon: