An ontology is a common semantic conceptualization of reality that is shared by members of a knowledge domain; it supports exchange of knowledge among participants. This course explores formal specifications for ontology construction among systems applications and software agents. Prerequisites: P:S634