Satisfiability in εL with sets of probabilistic ABoxes!

Marcelo Finger; Renata Wassermann; Fabio G. Cozman

Satisfiability in εL with sets of probabilistic ABoxes!

Marcelo Finger, Renata Wassermann, Fabio G. Cozman

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

5 Citas (Scopus)

Resumen

We present εL PA, a probabilistic extension of the lightweight DL εL with a fixed TBox and a set of probabilistic ABoxes, and study the problem of satisfiability in such context.

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

Conferencia

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

Acceder al documento

Citar esto

@conference{0330923d70d74548ad396d25ee473a0a,

title = "Satisfiability in εL with sets of probabilistic ABoxes!",

abstract = "We present εL PA, a probabilistic extension of the lightweight DL εL with a fixed TBox and a set of probabilistic ABoxes, and study the problem of satisfiability in such context.",

author = "Marcelo Finger and Renata Wassermann and Cozman, {Fabio G.}",

year = "2011",

month = dec,

day = "1",

language = "American English",

pages = "477--487",

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

}

TY - CONF

T1 - Satisfiability in εL with sets of probabilistic ABoxes!

AU - Finger, Marcelo

AU - Wassermann, Renata

AU - Cozman, Fabio G.

PY - 2011/12/1

Y1 - 2011/12/1

N2 - We present εL PA, a probabilistic extension of the lightweight DL εL with a fixed TBox and a set of probabilistic ABoxes, and study the problem of satisfiability in such context.

AB - We present εL PA, a probabilistic extension of the lightweight DL εL with a fixed TBox and a set of probabilistic ABoxes, and study the problem of satisfiability in such context.

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

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

M3 - Conference Paper

SP - 477

EP - 487

T2 - CEUR Workshop Proceedings

Y2 - 1 January 2016

ER -