Metric Temporal Extensions of DL-Lite and Interval-Rigid Names

TL;DR

This paper explores metric temporal extensions of DL-Lite description logics, analyzing how rigid and interval-rigid symbols affect expressiveness and complexity in temporal reasoning tasks.

Contribution

It introduces metric temporal extensions of DL-Lite and studies the impact of rigid and interval-rigid symbols on the complexity of satisfiability.

Findings

Interval-rigid symbols significantly increase expressive power.

Rigid symbols do not always increase reasoning complexity.

Complexity results vary depending on the specific logic extensions.

Abstract

The DL-Lite description logics allow for modeling domain knowledge on top of databases and for efficient reasoning. We focus on metric temporal extensions of DL-Lite_bool and its fragments, and study the complexity of satisfiability. In particular, we investigate the influence of rigid and interval-rigid symbols, which allow for modeling knowledge that remains valid over (some) time. We show that especially the latter add considerable expressive power in many logics, but they do not always increase complexity.