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

Research output: Contribution to conference › Conference Paper

7 Scopus citations

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.

Original language	American English
Pages	477-487
Number of pages	11
State	Published - 1 Dec 2011
Externally published	Yes
Event	CEUR Workshop Proceedings - Duration: 1 Jan 2016 → …

Conference

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

Cite this

@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 -

Satisfiability in εL with sets of probabilistic ABoxes!

Abstract

Conference

Other files and links

Cite this