Metric Temporal Description Logics with Interval-Rigid Names

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

Abstract

In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow us to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining description logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there is a growing interest in extending this work to the quantitative case. In this article, we complement existing results on the combination of DLs with metric temporal logics by introducing interval-rigid concept and role names. Elements included in an interval-rigid concept or role name are required to stay in it for some specified amount of time. We investigate several combinations of (metric) temporal logics with AℒC by either allowing temporal operators only on the level of axioms or also applying them to concepts. In contrast to most existing work on the topic, we consider a timeline based on the integers and also allow assertional axioms. We show that the worst-case complexity does not increase beyond the previously known bound of 2-ExpSpace and investigate in detail how this complexity can be reduced by restricting the temporal logic and the occurrences of interval-rigid names.

Details

Original languageEnglish
Article number30
Number of pages46
JournalACM transactions on computational logic
Volume21
Issue number4
Publication statusPublished - 2020
Peer-reviewedYes

External IDs

Scopus 85096521308
ORCID /0000-0002-4049-221X/work/142247884

Keywords

Library keywords