Risorsa di RDF

RDF � circa la descrizione delle risorse; secondo �le risorse sono chiamati sempre da URIs� e �qualche cosa pu� avere URI�. Cos� un RDF pu� essere usato teoricamente per descrivere qualche cosa. Tuttavia pricipalmente ha progettato maneggiare �le risorse recuperabili della rete�.

[] underlines che �la risorsa � tracciato concettuale ad un'entit� (...), non necessari che l'entit� che corrisponde a questa che traccia a tutto il caso particolare di tempo�. Per quanto la maggior parte del tempo siamo interessati nelle entit� essi stessi. � quindi importante notare che i meta dati che esprimiamo circa le risorse possono richiedere i livelli differenti dell'interpretazione, quella possono essere validi in determinato contesto soltanto.

Per esempio, marchio di ritorni W3C del URI http://www.w3.org/Icons/WWW/w3c_main in una disposizione del GIF o del png, secondo il browser che usando. Un altro esempio � rapporto quotidiano del tempo, di cui il URL restituirebbe una pagina differente ogni giorno.

Ne consegue che l'interpretazione delle risorse (e quindi dei tripli di RDF) � altamente contestuale. Possiamo definire la nozione di una risorsa stabile come segue: La stabilit� per la risorsa � una propriet� di essere la stessa in tutto il contesto, dal punto di vista Comunit� o (dell'utente degli utenti). Questa definizione � ancora molto contestuale: dipende dagli utenti che stiamo considerando pi� precisamente, dall'operazione che devono compire.

Considerare per un esempio, da un punto di vista standard del lettore di, il marchio di W3C � stabile, sguardo da versioni del png e del GIF lo stessi, ma un rapporto del tempo non � stabile. D'altra parte, qualcuno interessato alle disposizioni di immagine soltanto pu� considerare il marchio di W3C instabile ed esporre all'aria la scuderia di rapporto -- ammettendo un tempo segnalare come sempre generando le immagini in una stessa disposizione. Tuttavia, in la maggior parte delle applicazioni, l'operazione � meno probabile cambiare che richiamando il contesto, cos� il presupposto di stabilit� potrebbe essere utile.

Propriet� di RDF

Le propriet� sono le risorse usate come attributo dei tripli; la semantica di un triplo dipende chiaramente da una propriet� usata come attributo. Due cose sono molto importanti con questo concetto della propriet�:

In primo luogo, Il RDF considera le propriet� poich� il primo oggetto del codice categoria, diverso di la maggior parte dell'oggetto che modella le lingue, dove le propriet� sono gli attributi di un codice categoria. Anche se il concetto del codice categoria esiste nel RDF, le propriet� possono essere definite indipendentemente ed usate dai codici categoria.

Secondariamente, poich� � stato accennato, il fatto che le propriet� sono le risorse concede descriverlo con il RDF in se. Ci� sar� ampiamente usata dai seguenti concetti.

Dichiarazione di RDF

Una dichiarazione � una risorsa che reifying il triplo. Una tal risorsa deve avere propriet� del atleast tre: il RDF: oggetto, il RDF: oggetto e RDF: attributo, stimato dalle risorse corrispondenti.

Il reification dei tripli pu� sembrare un concetto pratico piuttosto che il concetto fondamentale. Tuttavia � definito come la parte del modello in una raccomandazione di W3C. Ci� sosterr� la volont� per usare il RDF come relativo proprio meta-sistema, per rendere ogni elemento del RDF describable in RDF in se.

Negli schemi, le nuove risorse possono essere definite come specializzazione di quelle vecchie, cos� concedendo arguire i tripli impliciti. Gli schemi inoltre costringe il contesto in cui le risorse definite possono essere usate, inducente la nozione della validit� dello schema. Vedremo che quelle due nozioni possono essere viste come una, in un punto di vista basato sulla logica di prim'ordine. Interamente possono essere espresse come le regole concedendo arguire i nuovi fatti (basicamente, i nuovi tripli o negazioni dei tripli). In queste regole, l'attributo logico ary 3 sar� usato per rappresentare il triplo creduto.

RDFS: subPropertyOf

C'� ne della propriet� denota il rapporto fra le risorse (l'insieme di una risorsa coppia collegato dall'arco identificato con una propriet�). RDFS: il subPropertyOf si applica alle propriet� e deve essere interpretato come rapporto del sottoinsieme fra il rapporto che denotano. Cos� la seguente regola si leva in piedi:

Per esempio, se �la madre� � secondario-propriet� �del genitore�, affatto triplo che ha �la madre� come l'attributo dovrebbe anche essere considerato come avendo �genitore� come l'attributo. Questa propriet� � molto importante nelle definizioni dello schema per il interoperability fra gli agenti di RDF. Nell'esempio qui sopra, l'agente che non conosce la semantica �della madre� potrebbe trattarlo almeno come �il genitore� (che la ammette conosce la semantica �del genitore�). Dal RDFS: il subPropertyOf denota un rapporto del sottoinsieme, la regola di transitivit� inoltre si leva in piedi:

Si noti che � considerato non valido avere i cicli in RDFS: subPropertyOf, bench� non definisca il senso esprimere questo vincolo nel RDF4. In ogni modo, la regola logica corrispondente � la seguente (poich� c'� ne del ciclo risulterebbero, con la transitivit�, in una propriet� che � la relativa propria secondario-propriet�):

Si noti che non ci sono URI standard per una propriet� universale (eccellente-propriet� di c'� ne della propriet�).

RDFS: Classificare, rdf: tipo e il RDFS: subClassOf

I codici categoria sono le risorse che denotano un insieme delle risorse, attraverso i mezzi della propriet� RDF: scrivere (casi che hanno la propriet� RDF: scrivere stimato da un codice categoria). Poich� tutti gli insiemi delle risorse presentate in questa sezione sono risorse (hanno un URI), tramite la definizione hanno la propriet� RDF: scrivere stimato dal RDFS: Codice categoria. D'altra parte, tutte le propriet� (definite nella raccomandazione di W3C o in qualsiasi schema) hanno RDF: scrivere stimato da RDF: Propriet�.

I codici categoria sono strutturati come le propriet�, in una gerarchia del sottoinsieme denotata dalla propriet� RDFS: subClassOf. Per quanto riguarda RDFS: il subPropertyOf, cicli non dovrebbe esistere bench� possa essere usato per esprimere l'equivalenza, ma il contrario alla gerarchia della propriet�, la gerarchia del codice categoria ha l'elemento massimo: � naturalmente il RDF: Risorsa (cos� tutta la latta del codice categoria ha implicitamente il RDFS: subClassOf stimato dal RDFS: Risorsa). Le seguenti regole, simili alle regole relative al RDFS: il subPropertyOf, si leva in piedi:

RDFS: dominio e RDFS: gamma

Queste propriet� si applicano alle propriet� e devono essere stimate dai codici categoria. Sono usate per limitare un insieme delle risorse che possono avere la data propriet� (il dominio della propriet�) e l'insieme dei valori validi per la propriet� (la relativa gamma). Una propriet� pu� avere altretanti valori per il RDFS: dominio come stato necessario, ma nient'altro di un valore per il RDFS: gamma

Affinch� il triplo sia valido, l'oggetto deve abbinare la gamma (se c'� ne) di attributo (cio� dovrebbe avere il RDF: il tipo stimato da codice categoria corrispondente o da una delle relative sottoclassi) e l'oggetto dovrebbero abbinare almeno uno dei dominii (se c'� ne) dell'attributo (nota che se l'attributo ha le eccellente-propriet�, questo dovrebbe anche essere controllata ricorrentemente per vedere se ci sono tutti). Ci� della latta bne logicamente espresso vicino:

Vale la pena di notare che, bench� questo due regole siano intese per essere usate per la validit� che controlla soltanto e quella prima (RDFS: la regola di dominio) pu� realmente essere usata soltanto questo senso (non pu� essere usata per effettuare l'illazione poich� la relativa conseguenza � qualificata existentially), quella seconda (RDFS: la regola della gamma) ha interpretazioni differenti secondo supporre il mondo chiuso o aperto. In un'ipotesi chiusa del mondo, qualsiasi triplo mancante � considerato negato, cos� un RDFS: la regola della gamma ha essere verificata soltanto. Ma nell'ipotesi aperta del mondo, i tripli mancanti non sono necessariamente di essere falsi, in modo da la regola pu� essere usata per effettuare l'illazione preferibilmente. Poich� il campo �naturale� del RDF � fotoricettore, dove le informazioni sono da essenza distribuita ed incompleta, l'ipotesi aperta del mondo sembra essere molto pi� ragionevole.

RDFS: Letterale

Rdfs delle risorse: Costante letterale, denotante l'insieme delle costanti letterali, dichiarato come il codice categoria (bench� le costanti letterali non siano le risorse, conformemente alla raccomandazione!). Il relativo uso progettato � di essere una gamma di propriet�.

Questi concetti potrebbero essere definiti negli schemi esterni, ma poich� sono utili comune, sono stati definiti una volta per tutte in uno schema di nucleo.

RDFS: Contenitore

I contenitori sono l'accumulazione delle risorse. Sono modellati dal caso di una delle tre sottoclassi di RDFS: Contenitore: il RDF: Sacchetto (accumulazione unordered), RDF: Seq (accumulazione ordinata) o RDF: Alt (un'alternativa). L'insieme dei membri � modellato dalle propriet� automaticamente generate RDF: _ 1, RDF: _ 2, ecc. Queste propriet� sono i casi di RDFS: ContainerMembershipProperty, una sottoclasse di RDF: Property5.

RDFS: ConstraintResource e RDFS: ConstraintProperty

Per l'agente di RDF pu� essere interessante essere informato di una risorsa sconosciuta (o pi� specificamente della propriet�) sta definendo il vincolo di validit�. L'insieme di tali risorse � RDFS: ConstraintResource. La relativa sottoclasse RDFS: ConstraintProperty � naturalmente la sottoclasse di RDF: Propriet� anche. Le propriet� RDFS: dominio e RDFS: la gamma definita sopra � i casi di RDFS: ConstraintProperty.

RDFS: seeAlso e RDFS: isDefinedBy

Una data risorsa ha potuto avere essere descritto in pi� di un posto sopra il Internet. Il RDFS: la propriet� di seeAlso pu� essere usata per precisare le descrizioni alternative della risorsa tematica. La relativa secondario-propriet� RDFS: isDefinedBy pi� specificamente indica alla descrizione originale o autorevole.

RDFS: etichetta e RDFS: commento

Potrebbe essere utile descrivere la risorsa con testo leggibile umano oltre che le propriet� �pure� di RDF; ci� � il ruolo di RDFS: etichetta e RDFS: commento. Il precedente � usato per dare il nome human-readable di una risorsa, il posteriore, per dare la descrizione pi� lunga. Si noti che possono avere i valori multipli per i bisogni di internazionalizzazione.