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.