Computing inferences for credal ALC terminologies

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

Computing inferences for credal ALC terminologies

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

Research output: Contribution to conference › Conference Paper

2 Scopus citations

Abstract

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
Pages	94-97
Number of pages	4
State	Published - 1 Dec 2012
Externally published	Yes
Event	CEUR Workshop Proceedings - Duration: 1 Jan 2016 → …

Conference

Conference	CEUR Workshop Proceedings
Period	1/01/16 → …

Cite this

@conference{8a31490864664a959699f8827531a38d,

title = "Computing inferences for credal ALC terminologies",

abstract = "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.",

author = "Polastro, {Rodrigo B.} and Cozman, {Fabio G.} and Takiyama, {Felipe I.} and Revoredo, {Kate C.}",

year = "2012",

month = dec,

day = "1",

language = "American English",

pages = "94--97",

note = "CEUR Workshop Proceedings ; Conference date: 01-01-2016",

}

TY - CONF

T1 - Computing inferences for credal ALC terminologies

AU - Polastro, Rodrigo B.

AU - Cozman, Fabio G.

AU - Takiyama, Felipe I.

AU - Revoredo, Kate C.

PY - 2012/12/1

Y1 - 2012/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84892389596&origin=inward

UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=84892389596&origin=inward

M3 - Conference Paper

SP - 94

EP - 97

T2 - CEUR Workshop Proceedings

Y2 - 1 January 2016

ER -

Computing inferences for credal ALC terminologies

Abstract

Conference

Other files and links

Fingerprint

Cite this