Schema Constraints

• Class, Property and Type names are mutually exlusive

C _ P _ T = _

• Literal, Resources and Container values are mutually exclusive

L _ U _ V/{U, L} = _

• _ c, c_ _ C

  • Class is the root of class hierarchy

    c < Class
    

  • subClassOf relation is transitive
    c < c_, c_< c_ _ _ c < c_ _
  • subClassOf relation is antisymmetric
    c < c_ _ c _ c_

• Domain and range of properties should be defined and they should be unique

  _p _ P, _!c1 _ C (c1 = domain(p)) _ _!c2 _C _ TL (c2=range(p))
  

• _ p, p_, p__ _ P

  • Property is the root of property hierarchy
    p < Property
  • subPropertyOf relation is transitive
    p< p_, p_< p_ _ _ p< p_ _
  • subPropertyOf relation is antisymmetric
    p < p_ _ p _ p_
  • If p is subPropertyOf of p_ then domain of p is subset of domain of p_ and range of p is subset of range of p_
    p < p __ domain(p) _ domain(p_) _ range(p) _ range(p_)

• A reified statement should have exactly one rdf:predicate, rdf:subject and rdf:object property

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique