Metric temporal description logics with interval-rigid names: (Extended abstract)

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

Metric temporal description logics with interval-rigid names: (Extended abstract)

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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	DL 2017 International Workshop on Description Logics
Subtitle of host publication	Proceedings of the 30th International Workshop on Description Logics Montpellier, France, July 18-21, 2017
Editors	A. Artale, B. Glimm, R. Kontchakov
Publisher	CEUR-WS
Number of pages	13
Publication status	Published - 2017
Externally published	Yes
Event	30th International Workshop on Description Logics, DL 2017 - Montpellier, France Duration: 18 Jul 2017 → 21 Jul 2017

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR Workshop Proceedings
Volume	1879
ISSN (Print)	1613-0073

Conference

Conference	30th International Workshop on Description Logics, DL 2017
Country/Territory	France
City	Montpellier
Period	18/07/17 → 21/07/17

Access to Document

https://ceur-ws.org/Vol-1879/paper20.pdf

Persistent URL (handle)

Persistent link

Cite this

Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A., & Thost, V. (2017). Metric temporal description logics with interval-rigid names: (Extended abstract). In A. Artale, B. Glimm, & R. Kontchakov (Eds.), DL 2017 International Workshop on Description Logics: Proceedings of the 30th International Workshop on Description Logics Montpellier, France, July 18-21, 2017 (CEUR Workshop Proceedings; Vol. 1879). CEUR-WS. https://ceur-ws.org/Vol-1879/paper20.pdf

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick et al. / Metric temporal description logics with interval-rigid names : (Extended abstract). DL 2017 International Workshop on Description Logics: Proceedings of the 30th International Workshop on Description Logics Montpellier, France, July 18-21, 2017. editor / A. Artale ; B. Glimm ; R. Kontchakov. CEUR-WS, 2017. (CEUR Workshop Proceedings).

@inproceedings{5cf47c79d94f46938440bc680f9a8bc7,

title = "Metric temporal description logics with interval-rigid names: (Extended abstract)",

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.",

author = "Franz Baader and Stefan Borgwardt and Patrick Koopmann and Ana Ozaki and Veronika Thost",

year = "2017",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS",

editor = "A. Artale and B. Glimm and R. Kontchakov",

booktitle = "DL 2017 International Workshop on Description Logics",

note = "30th International Workshop on Description Logics, DL 2017 ; Conference date: 18-07-2017 Through 21-07-2017",

}

Baader, F, Borgwardt, S, Koopmann, P, Ozaki, A & Thost, V 2017, Metric temporal description logics with interval-rigid names: (Extended abstract). in A Artale, B Glimm & R Kontchakov (eds), DL 2017 International Workshop on Description Logics: Proceedings of the 30th International Workshop on Description Logics Montpellier, France, July 18-21, 2017. CEUR Workshop Proceedings, vol. 1879, CEUR-WS, 30th International Workshop on Description Logics, DL 2017, Montpellier, France, 18/07/17. <https://ceur-ws.org/Vol-1879/paper20.pdf>

Metric temporal description logics with interval-rigid names: (Extended abstract). / Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick et al.
DL 2017 International Workshop on Description Logics: Proceedings of the 30th International Workshop on Description Logics Montpellier, France, July 18-21, 2017. ed. / A. Artale; B. Glimm; R. Kontchakov. CEUR-WS, 2017. (CEUR Workshop Proceedings; Vol. 1879).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Metric temporal description logics with interval-rigid names

T2 - 30th International Workshop on Description Logics, DL 2017

AU - Baader, Franz

AU - Borgwardt, Stefan

AU - Koopmann, Patrick

AU - Ozaki, Ana

AU - Thost, Veronika

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85027874469&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85027874469&partnerID=8YFLogxK

UR - https://ceur-ws.org/Vol-1879/

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - DL 2017 International Workshop on Description Logics

A2 - Artale, A.

A2 - Glimm, B.

A2 - Kontchakov, R.

PB - CEUR-WS

Y2 - 18 July 2017 through 21 July 2017

ER -

Baader F, Borgwardt S, Koopmann P, Ozaki A, Thost V. Metric temporal description logics with interval-rigid names: (Extended abstract). In Artale A, Glimm B, Kontchakov R, editors, DL 2017 International Workshop on Description Logics: Proceedings of the 30th International Workshop on Description Logics Montpellier, France, July 18-21, 2017. CEUR-WS. 2017. (CEUR Workshop Proceedings). Epub 2017 Jul 17.

Metric temporal description logics with interval-rigid names: (Extended abstract)

Abstract

Publication series

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Metric temporal description logics with interval-rigid names

Cite this