On Metric Temporal Description Logics

From International Center for Computational Logic

Toggle side column

On Metric Temporal Description Logics

Víctor Gutiérrez-BasultoVíctor Gutiérrez-Basulto,  Jean Christoph JungJean Christoph Jung,  Ana OzakiAna Ozaki
On Metric Temporal Description Logics


Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
On Metric Temporal Description Logics
22nd European Conference on Artificial Intelligence, September 2016. IOS Press
  • KurzfassungAbstract
    We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with LTLbin, an extension of the temporal logic LTL with succinctly represented intervals, and metric temporal logic MTL, extending LTLbin with capabilities to quantitatively reason about time delays. Our main contributions are algorithms and tight complexity bounds for the satisfiability problem in these mTDLs: For mTDLs based on (fragments of) LTLbin, we establish complexity bounds ranging from ExpTime to 2ExpSpace. For mTDLs based on (fragments of) MTL interpreted over the naturals, we establish complexity bounds ranging from ExpSpace to 2ExpSpace.
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{GJO2016,
  author    = {V{\'{\i}}ctor Guti{\'{e}}rrez-Basulto and Jean Christoph Jung and
               Ana Ozaki},
  title     = {On Metric Temporal Description Logics},
  booktitle = {22nd European Conference on Artificial Intelligence},
  publisher = {IOS Press},
  year      = {2016},
  month     = {September},
  doi       = {10.3233/978-1-61499-672-9-837}
}