Computing inferences for credal ALC terminologies

Rodrigo B. Polastro, Fabio G. Cozman, Felipe I. Takiyama, Kate C. Revoredo

Research output: Contribution to conferenceConference Paper

2 Scopus citations


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 languageAmerican English
Number of pages4
StatePublished - 1 Dec 2012
Externally publishedYes
EventCEUR Workshop Proceedings -
Duration: 1 Jan 2016 → …


ConferenceCEUR Workshop Proceedings
Period1/01/16 → …


Dive into the research topics of 'Computing inferences for credal ALC terminologies'. Together they form a unique fingerprint.

Cite this