Metric temporal description logics with interval-rigid names

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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 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 has recently been a growing interest in extending this work to the quantitative case. In this paper, we complement existing results on the combination of DLs with metric temporal logics over the natural numbers by introducing interval-rigid names. This allows to state that elements in the extension of certain names stay in this extension for at least some specified amount of time.
Original languageEnglish
Title of host publicationFrontiers of Combining Systems
Subtitle of host publication11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
EditorsClare Dixon, Marcelo Finger
PublisherSpringer Nature
Pages60-76
Number of pages17
ISBN (Electronic)9783319661674
ISBN (Print)9783319661667
DOIs
Publication statusPublished - 2017
Externally publishedYes
Event11th International Symposium on Frontiers of Combining Systems, FroCoS 2017 - Brasilia, Brazil
Duration: 27 Sept 201729 Sept 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10483 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameInternational Symposium on Frontiers of Combining Systems
PublisherSpringer
Volume2017

Conference

Conference11th International Symposium on Frontiers of Combining Systems, FroCoS 2017
Country/TerritoryBrazil
CityBrasilia
Period27/09/1729/09/17

Funding

Supported by DFG in the CRC 912 (HAEC), the project BA 1122/19-1 (GoAsQ) and the Cluster of Excellence “Center for Advancing Electronics Dresden” (cfaed). 1 https://www.w3.org/TR/2009/WD-owl2-overview-20090327/. 2 See http://www.opengalen.org/ and http://www.snomed.org/.

FundersFunder number
HAECBA 1122/19-1
Deutsche Forschungsgemeinschaft

    Fingerprint

    Dive into the research topics of 'Metric temporal description logics with interval-rigid names'. Together they form a unique fingerprint.
    • Metric temporal description logics with interval-rigid names: (Extended abstract)

      Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2017, DL 2017 International Workshop on Description Logics: Proceedings of the 30th International Workshop on Description Logics Montpellier, France, July 18-21, 2017. Artale, A., Glimm, B. & Kontchakov, R. (eds.). CEUR-WS, 13 p. (CEUR Workshop Proceedings; vol. 1879).

      Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

      Open Access

    Cite this