Towards a Type System for RDF
Interpretation Function:
- Literal types, [[ _L ]] = dom(_L)
- Bag types, [[ {_} ]] = {_1, _2,Ö, _n}, _1, _2,Ö, _n _ V are values of type _
- Seq types, [[ [_] ]] = {_1, _2,Ö, _n}, _1, _2,Ö, _n _ V are values of type _
- Alt types, [[ (1:_1 + 2:_2 +Ö+ n:_n ) ]] = _I, _i _ V, 1c _ C, [[c]] = {_ | _ _ _(c)}_{_(cí) | cí < c}
- p _ P, [[p]] = {[_1, _2] | _1 _ [[domain(p)]], _2 _ [[range(p)]]}_{_(pí) | pí < p}