
Ontologies in OWL 131
<owl:Class rdf:about="Class1">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="likesToWorkWith" />
<owl:someValuesFrom rdf:resource="FemaleColleagues" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
then we can infer th at anton, doris and gustav are in Class1.
Note that we cannot infer that charles is in Class1. At the same time,
we also cannot infer that he is not in Class1. In fact we cannot infer any
statement about charles belonging to Class1 or not. The reason for this
lies in the so-called Open World Assumption (OWA): It is implicitly assumed
that a knowledge base may always be incomplete. In