Prvky RDF

Není nutné specifikovat URI pro každý uzel RDF v grafu. Uzel bez URI se nazývá prázdný uzel (zkráceně b-node) a lze jej chápat jako identifikátor s rozsahem omezeným na graf, na který nelze zvenčí přímo odkazovat. Prázdný uzel lze v trojici použít pouze jako subjekt nebo objekt a nelze jej použít jako predikát. Prázdný uzel je užitečný například při specifikaci seznamů (viz obrázek ilustrující neuspořádaný kontejner).

rdf bag

Ilustrace neuspořádaného kontejneru a prázdného uzlu

Prefix jmenného prostoru jazyka RDF je obvykle rdf: a je (syntakticky) definován na adrese http://www.w3.org/1999/02/22-rdf-syntax-ns#. Slovník RDF zahrnuje následující prvky:

  • rdf:type - predikát používaný k vyjádření, že zdroj je instancí třídy
  • rdf:XMLLiteral - třída typovaných literálů (tj. hodnot literálu XML)
  • rdf:Property - třída vlastností (tj. binárních relací, které jsou v trojicích používány jako predikáty)
  • rdf:Alt, rdf:Bag, rdf:Seq - kontejnery alternativ, neuspořádané kontejnery a uspořádané kontejnery (příklad viz obrázek s neuspořádaným kontejnerem)
  • rdf:List - třída seznamů RDF
  • rdf:nil - instance rdf:List reprezentující prázdný seznam
  • rdf:Statement, rdf:subject, rdf:predicate, rdf:object - používají se pro reifikaci (popsanou níže)

Tyto prvky jsou dále diskutovány v následující části o RDFS, protože RDFS na ně zavádí další omezení, aby jejich význam specifikovalo přesněji.

Dále si jen vysvětleme reifikaci RDF. Reifikace RDF umožňuje rozložit výrok (trojici) na jeho části a použít celý výrok nebo jeho části jako součást jiných trojic. Celou trojici lze pak chápat jako zdroj, což umožňuje formulovat tvrzení o samotném výroku. Například pro výrok

      :john :has :cat

je reifikace RDF následující (všimněte si, že výsledkem je zdroj, který může například vystupovat jako subjekt v jiné trojici):

      [ a rdf:Statement;
        rdf:subject :john;
        rdf:predicate :has;
        rdf:object :cat ].

Stručně řečeno, trojice RDF je trojice <subjekt, predikát, objekt>, kde subjekt může být URI nebo b-node, predikát může být URI a objekt může být URI, b-node nebo literál. Graf RDF je množina trojic RDF. Formální sémantika RDF je definována pomocí teorie modelů.