Knowledge Systems Laboratory, Stanford University
12
Class Features
uDeclaring a class as a subclass of the complement of another class
ä<Class ID = "Car">
ä <comment> no car is a person </comment>
ä <subClassOf>
ä <Class> <complementOf resource = "#Person” /> </Class>
ä </subClassOf>
ä</Class>
Bob is a Car.
Is Bob a Person?
No.
Joe is a Man.
Is Joe a Person?  Yes.
Is Joe a Male?  Yes.
uDeclaring a class to be a subclass of multiple classes
ä<Class ID = "Man">
ä <subClassOf resource = "#Person” />
ä <subClassOf resource = "#Male” />
ä</Class>
ä<Class ID = "Woman">
ä <subClassOf resource = "#Person” />
ä <subClassOf resource = "#Female” />
ä</Class>