Cutting Diamonds: Temporal DLs with Probabilistic Distributions over\n Data

Recent work has studied a probabilistic extension of the temporal logic LTL\nthat refines the eventuality (or diamond) constructor with a probability\ndistribution on when will this eventuality be satisfied. In this paper, we\nadapt this notion to a well established temporal extension of DL-Lite, allowing\nthe new probabilistic constructor only in the ABox assertions. We investigate\nthe satisfiability problem of this new temporal DL over equiparametric\ngeometric distributions.\n