CPS 603

This course provides introduction to semantic technologies, including W3C recommended languages for developing ontologies. First, basics of formal logic are reviewed. Second, XML, RDF and RDF Schema are discussed. Third, description logics are introduced. Fourth, syntax and semantics of OWL2 are discussed, including distinction between fragments of OWL2. Fifth, basics of rule interchange languages RIF are introduced. Additional topics can be discussed if time permits.