
98 Foundations of Semantic Web Technologies
By this rule, subproperty specifications (which can be conceived as a kind
of macro) can be applied to concrete triples (by executing the macro).
An example of an application of this rule would be
ex:motherOf rdfs:subPropertyOf ex:ancestorOf .
ex:heidrun ex:motherOf ex:sebastian .
ex:heidrun ex:ancestorOf ex:sebastian .
rdfs7
Subclasses
The following deduction rules capture the semantic characteristics of the
subClassOf property.
u rdf:type rdfs:Class .
u rdfs:subClassOf rdfs:Resource .
rdfs8
By means of this rule, every URI typed as a class can be concluded to
denote a subclass of the class of all resources.
u rdfs:subClassOf ...