Ressource de RDF

RDF est au sujet de d�crire les ressources ; selon les � ressources sont toujours appel�s par URIs � et � quelque chose peut avoir URI �. Ainsi un RDF peut th�oriquement �tre employ� pour d�crire n'importe quoi. Pourtant il a principalement con�u pour manipuler les ressources recouvrables de � r�seau �.

[] souligne que � la ressource est tracer conceptuel � une entit� (...), non n�cessaire qui l'entit� qui correspond � ceci qui trace � n'importe quel exemple particulier de temps �. De quelque mani�re que la majeure partie du temps nous sommes int�ress�s par les entit�s elles-m�mes. Il est donc important de noter que les m�ta-donn�es que nous exprimons au sujet des ressources peuvent exiger les diff�rents niveaux de l'interpr�tation, celle peuvent �tre valides dans certain contexte seulement.

Par exemple, logo des retours W3C d'URI http://www.w3.org/Icons/WWW/w3c_main dans un format de png ou de GIF, selon le navigateur �tant employ�. Un autre exemple est le rapport quotidien de temps, dont l'URL renverrait une page diff�rente chaque jour.

Il suit que l'interpr�tation des ressources (et donc des triples de RDF) est fortement contextuelle. Nous pouvons d�finir la notion d'une ressource stable comme suit : La stabilit� pour la ressource est une propri�t� d'�tre la m�me dans n'importe quel contexte, du point de vue d'utilisateur (ou communaut� des utilisateurs). Cette d�finition est toujours tr�s contextuelle : elle d�pend des utilisateurs que nous consid�rons, plus avec pr�cision du charger qu'ils doivent accomplir.

Consid�rer pour un exemple, d'un point de vue standard de lecteur de, le logo de W3C est stable, regard depuis de GIF et de png versions les m�mes, mais un rapport de temps n'est pas stable. D'une part, quelqu'un int�ress� aux formats d'image seulement peut consid�rer le logo de W3C instable et survivre � l'�curie de rapport -- en assumant un temps rapporter comme en produisant toujours des images dans un m�me format. Cependant, dans la plupart des applications, charger est moins pour changer qu'en recherchant le contexte, ainsi la pr�tention de stabilit� pourrait �tre valeur.

Propri�t� de RDF

Les propri�t�s sont les ressources utilis�es comme attribut des triples ; la s�mantique d'un triple d�pend clairement d'une propri�t� utilis�e comme attribut. Deux choses sont tr�s importantes avec ce concept de propri�t� :

Premi�rement, Le RDF consid�re des propri�t�s car le premier objet de classe, � la diff�rence de la majeure partie de l'objet modelant des langues, o� les propri�t�s sont les attributs d'une classe. M�me si le concept de la classe existe dans le RDF, des propri�t�s peuvent �tre d�finies et employ�es ind�pendamment des classes.

Deuxi�mement, car on lui a mentionn�, le fait que les propri�t�s sont les ressources laisse les d�crire avec le RDF lui-m�me. Ce sera employ� couramment par les concepts suivants.

Rapport de RDF

Un rapport est une ressource reifying le triple. Une telle ressource doit avoir des propri�t�s de l'atleast trois : le RDF : sujet, le RDF : objet et RDF : attribut, �valu� par les ressources correspondantes.

Le reification des triples peut sembler un concept de service plut�t que le concept fondamental. N�anmoins il est d�fini comme partie de mod�le dans une recommandation de W3C. Ceci soutiendra la volont� pour employer le RDF en tant que son propre m�ta-syst�me, pour rendre chaque �l�ment du RDF descriptible dans RDF lui-m�me.

Dans les sch�mas, de nouvelles ressources peuvent �tre d�finies comme sp�cialisation de la vieille, de ce fait laissant impliquer des triples implicites. Les sch�mas contraint �galement le contexte dans lequel les ressources d�finies peuvent �tre employ�es, induisant la notion de la validit� de sch�ma. Nous verrons que ces deux notions peuvent �tre vues en tant qu'une, dans un point de vue bas� sur la logique de premier ordre. Elles tout peuvent �tre exprim�es comme r�gles laissant impliquer de nouveaux faits (fondamentalement, les nouveaux triples ou n�gations des triples). Dans ces r�gles, l'attribut 3 logique ary sera employ� pour repr�senter le triple cru.

RDFS : subPropertyOf

La propri�t� l'une des d�note la relation entre les ressources (l'ensemble d'une ressource couple li� par l'arc marqu� avec une propri�t�). RDFS : le subPropertyOf s'applique aux propri�t�s et doit �tre interpr�t� comme relation de sous-ensemble entre la relation qu'elles d�notent. Ainsi la r�gle suivante se tient :

Par exemple, si la � m�re � est secondaire-propri�t� de � parent �, triple ayant la � m�re � comme l'attribut devrait �galement �tre consid�r� en tant qu'ayant le � parent � comme attribut. Cette propri�t� est tr�s importante dans les d�finitions de sch�ma pour l'interop�rabilit� entre les agents de RDF. Dans l'exemple ci-dessus, l'agent ne sachant pas la s�mantique de la � m�re � pourrait au moins la traiter en tant que � parent � (l'assumant sait la s�mantique du � parent �). Depuis le RDFS : le subPropertyOf d�note une relation de sous-ensemble, la r�gle de transitivit� �galement se tiennent :

Noter qu'on le consid�re comme inadmissible avoir les cycles dans RDFS : subPropertyOf, bien qu'il ne d�finisse pas la mani�re d'exprimer cette contrainte en RDF4. Quoi qu'il en soit, la r�gle logique correspondante est la suivante (puisque le cycle l'un des r�sulterait, avec la transitivit�, dans une propri�t� �tant sa propre secondaire-propri�t�) :

Noter qu'il n'y a aucun URI standard pour une propri�t� universelle (superbe-propri�t� de propri�t� l'une des).

RDFS : Classer, rdf : type et le RDFS : subClassOf

Les classes sont les ressources d�notant un ensemble des ressources, par les moyens de la propri�t� RDF : dactylographier (exemples qui ont la propri�t� RDF : dactylographier �valu� par une classe). Puisque tous ensembles de ressources pr�sent�es dans cette section sont des ressources (ils ont un URI), par d�finition ils ont la propri�t� RDF : dactylographier �valu� par le RDFS : Classe. D'une part, toutes propri�t�s (d�finies dans la recommandation de W3C ou dans tout sch�ma) ont RDF : dactylographier �valu� par RDF : Propri�t�.

Des classes sont structur�es comme les propri�t�s, dans une hi�rarchie de sous-ensemble d�not�e par la propri�t� RDFS : subClassOf. Quant � RDFS : le subPropertyOf, cycles ne devrait pas exister bien qu'il puisse �tre employ� pour exprimer l'�quivalence, mais le contraire � la hi�rarchie de propri�t�, la hi�rarchie de classe a l'�l�ment maximum : c'est naturellement le RDF : Ressource (tellement n'importe quel bidon de classe a implicitement le RDFS : subClassOf �valu� par le RDFS : Ressource). Les r�gles suivantes, semblables aux r�gles li�es au RDFS : le subPropertyOf, se tiennent :

RDFS : domaine et RDFS : gamme

Ces propri�t�s s'appliquent aux propri�t�s et doivent �tre �valu�es par les classes. Elles sont employ�es pour limiter un ensemble de ressources qui peuvent avoir la propri�t� donn�e (le domaine de la propri�t�) et l'ensemble de valeurs valides pour la propri�t� (sa gamme). Une propri�t� peut avoir autant de valeurs pour le RDFS : domaine comme n�cessaire, mais pas plus d'une valeur pour le RDFS : gamme

Pour que le triple soit valide, l'objet doit match la gamme (si quels) de l'attribut (c'est-�-dire, il devrait avoir le RDF : le type �valu� par la classe correspondante ou une de ses sous-classes), et le sujet le match au moins un des domaines (si quel) de l'attribut (la note qui si l'attribut a les superbe-propri�t�s, ceci devraient �galement �tre examin�s p�riodiquement pour assurer tous). Ceci de bidon bne logiquement exprim� par :

Il vaut la peine de noter que, bien que ce deux r�gles soient pr�vues pour �tre employ�es pour la validit� v�rifiant seulement, et le premier (RDFS : la r�gle de domaine) peut �tre employ�e r�ellement seulement de cette fa�on (elle ne peut pas �tre employ�e pour ex�cuter l'inf�rence puisque sa cons�quence est de fa�on existentielle qualifi�e), le second (RDFS : la r�gle de gamme) a diff�rentes interpr�tations selon le monde de ferm� ou ouvert de pr�somption. Dans une hypoth�se ferm�e du monde, n'importe quel triple absent est consid�r� ni�, ainsi un RDFS : la r�gle de gamme a pour �tre v�rifi�e seulement. Mais dans l'hypoth�se ouverte du monde, les triples absents ne sont pas n�cessairement d'�tre faux, ainsi la r�gle peut �tre employ�e pour ex�cuter l'inf�rence � la place. Puisque le champ � normal � du RDF est Web, o� l'information est par l'essence distribu�e et inachev�e, l'hypoth�se ouverte du monde semble �tre beaucoup plus raisonnable.

RDFS : Litt�ral

Rdfs d'une ressource : Coquille, d�notant l'ensemble de coquilles, avou� comme classe (bien que les coquilles ne sont pas les ressources, conform�ment � la recommandation !). Son utilisation pr�vue est d'�tre une gamme des propri�t�s.

Ces concepts pourraient avoir �t� d�finis dans les sch�mas externes, mais puisqu'ils sont utiles commun, ils ont �t� d�finis une fois pour toutes dans un sch�ma de noyau.

RDFS : R�cipient

Les r�cipients sont la collection de ressources. Ils sont model�s par l'exemple d'une des trois sous-classes de RDFS : R�cipient : le RDF : Sac (collection non command�e), RDF : Seq (collection command�e) ou RDF : Alt (une alternative). L'adh�sion est model�e par les propri�t�s automatiquement produites RDF : _ 1, RDF : _ 2, etc. Ces propri�t�s sont les exemples de RDFS : ContainerMembershipProperty, une sous-classe de RDF : Property5.

RDFS : ConstraintResource et RDFS : ConstraintProperty

Il peut �tre int�ressant que l'agent de RDF soit inform� d'une ressource inconnue (ou plus sp�cifiquement de la propri�t�) d�finit la contrainte de validit�. L'ensemble de telles ressources est RDFS : ConstraintResource. Sa sous-classe RDFS : ConstraintProperty est naturellement la sous-classe de RDF : Propri�t� aussi. Les propri�t�s RDFS : domaine et RDFS : la gamme d�finie ci-dessus sont les exemples de RDFS : ConstraintProperty.

RDFS : seeAlso et RDFS : isDefinedBy

Une ressource donn�e pourrait avoir pour �tre d�crite dans plus d'un endroit au-dessus de l'Internet. Le RDFS : la propri�t� de seeAlso peut �tre employ�e pour pr�ciser les descriptions alternatives de la ressource soumise. Sa secondaire-propri�t� RDFS : isDefinedBy se dirige plus sp�cifiquement � la description originale ou bien fond�e.

RDFS : �tiquette et RDFS : commentaire

Il pourrait �tre utile de d�crire la ressource avec le texte lisible pour l'homme en plus des propri�t�s � pures � de RDF ; c'est le r�le de RDFS : �tiquette et RDFS : commentaire. L'ancien est employ� pour donner le nom lisible pour l'homme d'une ressource, le dernier, pour donner la description plus longue. Noter qu'ils peuvent avoir les valeurs multiples pour les besoins d'internationalisation.