Output details
11 - Computer Science and Informatics
University of Oxford
Heuristic Ranking in Tightly Coupled Probabilistic Description Logics
<22>
We describe a new generation of probabilistic knowledge bases combining the description logic EL++ with Markov Logic Networks. We introduce an original separation of concerns between knowledge and uncertainty that, besides being a natural modelling assumption, enables to obtain tractability results for several reasoning tasks including query answering. The same framework can be used to obtain similar tractability results for other combinations of knowledge representation languages and probabilistic models. Since 1985 UAI is the major venue on research related to representation, inference, learning and decision making in the presence of uncertainty.