Towards a Formal Data Model for RDF
An RDF schema is a 5-tuple: RS = (VS, ES, H, _, _)
- VS a set of nodes
- ES a set of edges
- _ = (_,<) a well-formed hierarchy of names
- _ an incidence function: Es _ Vs_Vs
- _ a labeling function: VS _ ES __ __
An RDF description base, instance of a schema RS, is a 5-tuple: RD = (VD, ED, _, _, _)
- VD a set of nodes
- ED a set of edges
- _ an incidence function: ED _ VD_VD
- _ a valuation function: VD _ V
- _ a labeling function: VD _ ED _2___ :
- _ u _ VD, _ _ n _ C_T: _(u) _[[n]]
- _ e _ ED [u,uí], _ _ p