Computing inferences for credal ALC terminologies
Rodrigo Bellizia Polastro, Fábio Gagliardi Cozman, Felipe I. Takiyama, Kate Cerqueira Revoredo · 2012
We describe a package that performs inferences for the probabilistic description logic crALC: given a terminology consisting of a set of sentences in crALC, and a set of assertions, the package computes the probability of additional assertions using an approximate variational method. We briefly review the essentials of crALC, mention some recent applications, and describe the package. We then describe our current efforts to incorporate lifted inference into the package.