The Semantics of Imprecision in Terminological Logics
Jochen Heinsohn · 1994
This paper presents the language ACCP which is a probabilistic extension of terminological logics and aims at closing the gap between terminological knowledge representation and uncertainty handling . We present the formal semantics underlying the language ACCP and introduce the probabilistic formalism that is based on classes of probabilities and is realized by means of probabilistic constraints. Besides infering implicitly existent probabilistic relationships, the constraints guarantee terminological and probabilistic consistency. Altogether, the new language ACCP applies to domains where both term descriptions and uncertainty have to be handled.