16
Sycara and Paolucci
Using Set Theory
Complex types to support set theory
union, intersection and complement
•
Human= unionOf Woman and Man
Enumerated Classes
means to specify a class via a direct enumeration of its
members,
this is done through the
oneOf
construct
•
Gender oneOf male or female
Disjoint Classes
It guarantees that an individual that is a member of one class
cannot simultaneously be an instance of a specified other class.
•
Cat disjoint Dog