## Class, Property and Type names are mutually exlusive

## Literal, Resources and Container values are mutually exclusive

## _ 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_

- Class is the root of class hierarchy

## 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_)

- Property is the root of property hierarchy

- 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 |