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