
126 Foundations of Semantic Web Technologies
From the declarations
<owl:Class rdf:about="Professor">
<rdfs:subClassOf>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="Person" />
<owl:Class rdf:about="FacultyMember" />
</owl:intersectionOf>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="Person" />
<owl:complementOf rdf:resource="PhDStudent">
</owl:intersectionOf>
</owl:Class>
</owl:intersectionOf>
</rdfs:subClassOf>
</owl:Class>
we can infer that every Professor is a Person.
FIGURE 4.11: Example inference using nested Boolean class constructors
Male nor Female – such ...