Olivier Bellemans - Ontologies (to reason about properties) 

  Reading

Ontologies in Computer Science

Abstract. The aim of this text is to give an introduction to ontologies and the means of expressing them. The formal foundations of ontology languages are emphasized, various applications in the field of computer science are discussed.

  Implementation

Detecting Contradictory Beliefs About Complex Systems Using Ontologies

Abstract. Complex systems consist of large numbers of diverse, interacting components. The correctness of any one component rests on a set of assumptions about the rest of the system. Assumptions that are initially correct may become invalid as requirements change. This project explores the use of ontologies to capture the different beliefs held about a train control system and to automatically detect inconsistencies in these beliefs.