Formal Model: Typing
4. There is an element of PropertyTypes known as RDF:instanceOf.
5. Members of Triples of the form {RDF:instanceOf, r, v} imply r and v are members of Nodes.
[RDFSchema] places additional restrictions on the use of instanceOf.
Previous slide
Next slide
Back to first slide
View graphic version