Data Constraints
For all values: _u _ V
- If u is a URI then it is an instance of one or more Classes
u _ U _ _(u) _ C
- If u is a literal then it an instance of one and only one Literal type
u _ L _ _(u) _ TL
- If u is a container then it an instance of one and only one Container type
u _ V/{U, L} _ _(u) _ TB | S | A
- For all properties: _p _ P, [u1,u2] _ [[p]]
- if p belongs to the set {1, 2, 3Ö} then u1 is an instance of either rdf:Bag or rdf:Seq or rdf:Alt
if p _{1, 2, 3Ö}_ _(u1)_TB | S | A
- if p doesnít belong to {1, 2, 3, Ö} then u1 belongs to the domain of p and u2 belongs to the range of p
if p _ P/{1, 2, 3Ö} _ _(u1) _ domain(p) _ _(u2) _ range(p)