Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms

Marcelo Finger

One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and…