|Speciale - modelbyggervariant, 2. modul, Vinter 2011, id:430|
|Findes på RUb:||Ja|
This master thesis researches probabilistic description logics with the aim of showing how the different probability interpretations are reflected in the existing formalisms. As an integrated thesis in Mathematics and Computer Science, this project focuses on the mathematical as well as the conceptual differences between the different probability interpretations first generally, then specifically in probabilistic description logics. Some decidability issues are addressed as well. The thesis centers on one particular article by Tao et al. (2007) as the only one that uses the belief-type probability for terminological axioms such as concept inclusions. Most other research is focused on the frequency interpretation, which is perceived to be more useful, since there is a simple method for acquiring the probability values. The approach of Tao et al. is less popular for practical reasons, however, it can help us fully understand the behaviour of probabilistic description logics. It is my aim to critically investigate this article in detail, fill in the gaps of their explanations and make it accessible for students of Mathematics and Computer Science who are unfamiliar with this topic.