Å ena sidan utesluter klass ical terminologic knowledge representation möjligheten att hantera osäkra begreppsbeskrivningar som innefattar t.ex. "vanligtvis sanna" begreppsegenskaper, generaliserade kvantifiers eller exceptions. Å andra sidan är rent numeriska metoder för att hantera osäkerhet i allmänhet oförmögna att beakta terminologisk kunskap. I denna rapport presenteras "Lan guage At:CP" som är en probabilistisk utvidgning av terminologiska logiker och syftar till att överbrygga klyftan mellan de två forskningsområdena. Vi presenterar den formella semantik som ligger till grund för språket At:CP och introducerar den prob abilistiska formalismen som är baserad på sannolikheternas klas es och realiseras med hjälp av probabilistiska begränsningar. Förutom att de implicit existerar probabilistiska relationer, garanterar begränsningarna terminologisk cal och probabilistisk konsekvens. Sammantaget det nya språket.AirP gäller domäner där både termbeskrivningar och osäkerhet måste hanteras.
Heinsohn var en av de första som gav en probabilistisk förlängning av beskrivningslogiken REF.
Probabilistic Description Logics
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}