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

Resultado de la investigación: Contribución a una conferencia › Artículo de conferencia

2 Citas (Scopus)

Resumen

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.

Idioma original	Inglés estadounidense
Páginas	94-97
Número de páginas	4
Estado	Publicada - 1 dic. 2012
Publicado de forma externa	Sí
Evento	CEUR Workshop Proceedings - Duración: 1 ene. 2016 → …

Conferencia

Conferencia	CEUR Workshop Proceedings
Período	1/01/16 → …

Otros archivos y enlaces

Citar esto

@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

Resumen

Conferencia

Otros archivos y enlaces

Huella

Citar esto