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.
|Original language||American English|
|Number of pages||4|
|State||Published - 1 Dec 2012|
|Event||CEUR Workshop Proceedings - |
Duration: 1 Jan 2016 → …
|Conference||CEUR Workshop Proceedings|
|Period||1/01/16 → …|