Abstract: In previous work, we
have introduced a fully contextualized federated ontology language based on the well-known description
logic Inspired by the work of Lukasiewicz
on expressive probabilistic logics, we augment that work by considering a
probabilistic extension of termed Although its modules employ a less
expressive description logic than the rich or of Lukasiewicz and, in particular,
do not provide support for concrete domains, is the first ontology language in the literature to
offer modularity and contextualization of all logical connectives combined with
the ability to express probabilistic terminological and default knowledge.
