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 conferenciaArtí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 originalInglés estadounidense
Páginas94-97
Número de páginas4
EstadoPublicada - 1 dic 2012
Publicado de forma externa
EventoCEUR Workshop Proceedings -
Duración: 1 ene 2016 → …

Conferencia

ConferenciaCEUR Workshop Proceedings
Período1/01/16 → …

Huella Profundice en los temas de investigación de 'Computing inferences for credal ALC terminologies'. En conjunto forman una huella única.

  • Citar esto

    Polastro, R. B., Cozman, F. G., Takiyama, F. I., & Revoredo, K. C. (2012). Computing inferences for credal ALC terminologies. 94-97. Papel presentado en CEUR Workshop Proceedings, .