Why a Type System for RDF ?
For error detection & safety:
- to verify that statements comply to what the application expects
- to make sure that the application accesses valid statements
- to enforce safe operations (e.g., donít do float arithmetic on classes!)
- to check that compositions of operations make sense
-
For performance:
- to design storage (saving space, improving clustering, etc.)
- to process queries (algebraic laws, rewriting path expressions, etc.)
We need a full-fledged Data Definition Language for RDF !
- RDF Schema is viewed more as an ontology & modeling tool