Web Ontology Language: OWL <owl: Class rdf: ID=facultyIncs"> <owl: intersectionof rdf: parseType=owl: collection"> <owl: Class rdf: about=#faculty"/> <Restriction> rowl: onProperty rdf: resource="#belongs To"/> owl: has Value rdf: resource=#CSDepartment"/> </Restriction> /owl: intersectionOf> Note that we have built the intersection of two classes one of which was de- fined anonymously: the class of all objects belonging to the cs department This class is intersected with faculty to give us the faculty in the Cs depart ment Further we note that Boolean combinations can be nested arbitrarily. The following example defines administrative staff to be those staff members that are neither faculty nor technical support staff. <owl: Class rdf: ID="adminIstaff> <owl: intersectionOf rdf parseType=Collection"> <owl: Class rdf: about=#staffMember"/> <owl: complementof> <owl: unionof rdf: parseType="Collection"> <owl: Class rdf: about=#faculty" /> owl: Class rdf: about=#techSupportStaff"/> /owl: complementof> Enumerations An enumeration is a owl: oneOf element, and is used to define a class by listing <owl: oneOf rdf: parseType=Collection"> <owl: Thing rdf about=#Monday"/> <owl: Thing rdf: about=#Wednesday"/> <owl: Thing rdf about=#Thursday"/> <owl: Thing rdf about=#Friday" /> <owl: Thing rdf: about=#Saturday"/> owl: Thing rdf: about=#Sunday"/> Instances of classes are declared as in RDF. For exampleWeb Ontology Language: OWL 13 <owl:Class rdf:ID="facultyInCS"> <owl:intersectionOf rdf:parseType="owl:collection"> <owl:Class rdf:about="#faculty"/> <Restriction> <owl:onProperty rdf:resource="#belongsTo"/> <owl:hasValue rdf:resource="#CSDepartment"/> </Restriction> </owl:intersectionOf> </owl:Class> Note that we have built the intersection of two classes, one of which was de- fined anonymously: the class of all objects belonging to the CS department. This class is intersected with faculty to give us the faculty in the CS depart￾ment. Further we note that Boolean combinations can be nested arbitrarily. The following example defines administrative staff to be those staff members that are neither faculty nor technical support staff. <owl:Class rdf:ID="adminStaff"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#staffMember"/> <owl:complementOf> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="#faculty"/> <owl:Class rdf:about="#techSupportStaff"/> </owl:unionOf> </owl:complementOf> </owl:intersectionOf> </owl:Class> Enumerations An enumeration is a owl:oneOf element, and is used to define a class by listing all its elements. <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="#Monday"/> <owl:Thing rdf:about="#Tuesday"/> <owl:Thing rdf:about="#Wednesday"/> <owl:Thing rdf:about="#Thursday"/> <owl:Thing rdf:about="#Friday"/> <owl:Thing rdf:about="#Saturday"/> <owl:Thing rdf:about="#Sunday"/> </owl:oneOf> Instances Instances of classes are declared as in RDF. For example: