Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data
Logic in Computer Science
2018-10-04 v1
Abstract
Recent work has studied a probabilistic extension of the temporal logic LTL that refines the eventuality (or diamond) constructor with a probability distribution on when will this eventuality be satisfied. In this paper, we adapt this notion to a well established temporal extension of DL-Lite, allowing the new probabilistic constructor only in the ABox assertions. We investigate the satisfiability problem of this new temporal DL over equiparametric geometric distributions.
Keywords
Cite
@article{arxiv.1810.01516,
title = {Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data},
author = {Alisa Kovtunova and Rafael Peñaloza},
journal= {arXiv preprint arXiv:1810.01516},
year = {2018}
}
Comments
Full version of the paper accepted for 31st International Workshop on Description Logics