Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!
Description Logics are an established paradigm to represent ontologies within the Semantic Web. By representing information by means of a logical formalism, information that is implicitly contained within the ontology can be derived automatically. This process of deriving new information is called reasoning. There are several reasoners available for processing information encoded within a description logic. The task of this thesis is to evaluate description logic reasoners for reasoning with the description logic variant SHIQ, i.e. Pellet, Fact++, KAON2 and Racer. For this purpose a use case needs to be devised which is appropriate for comparing these reasoners. Afterwards the use case shall be implemented and the reasoners shall be evaluated according to this use case.