Towards a Type System for RDF

• Type System:

  _ = _L | _U | {_} | [_] | (1:_ + 2:_ + Ö + n:_)
  

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

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique