First page
Back
Continue
Last page
Graphics
RDFS Interpretations
-
Much like RDF interpretations, but with some extra
complications, e.g.:
-
- an extra extension function must be defined for classes: each
class is mapped to a subset of Δ by this extension
- the vocabulary must include all the other properties defined in
RDFS (rdfs:subClassOf, rdfs:range,
rdfs:domain, etc)
- more “axiomatic” triples must be added to the vocabulary (e.g.,
<rdf:type rdfs:range rdfs:Class>)
- the interpretation and extension functions should reflect the
extra semantics of all those, e.g., if <A
rdfs:subClassOf
B> then Ext(I(A)) ⊂
Ext(I(B))
-
It is a lot of details to handle, and must be done with care,
but it is fairly mechanical…
-
Typed literals bring in an extra level of complications