Metric temporal description logics with interval-rigid names

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

doi:10.1007/978-3-319-66167-4_4

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 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	Frontiers of Combining Systems
Subtitle of host publication	11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Editors	Clare Dixon, Marcelo Finger
Publisher	Springer Nature
Pages	60-76
Number of pages	17
ISBN (Electronic)	9783319661674
ISBN (Print)	9783319661667
DOIs	https://doi.org/10.1007/978-3-319-66167-4_4
Publication status	Published - 2017
Externally published	Yes
Event	11th International Symposium on Frontiers of Combining Systems, FroCoS 2017 - Brasilia, Brazil Duration: 27 Sept 2017 → 29 Sept 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10483 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	International Symposium on Frontiers of Combining Systems
Publisher	Springer
Volume	2017

Conference

Conference	11th International Symposium on Frontiers of Combining Systems, FroCoS 2017
Country/Territory	Brazil
City	Brasilia
Period	27/09/17 → 29/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/.

Funders	Funder number
HAEC	BA 1122/19-1
Deutsche Forschungsgemeinschaft

Access to Document

10.1007/978-3-319-66167-4_4

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. In C. Dixon, & M. Finger (Eds.), Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (pp. 60-76). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10483 LNAI), (International Symposium on Frontiers of Combining Systems; Vol. 2017). Springer Nature. https://doi.org/10.1007/978-3-319-66167-4_4

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick et al. / Metric temporal description logics with interval-rigid names. Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. editor / Clare Dixon ; Marcelo Finger. Springer Nature, 2017. pp. 60-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). (International Symposium on Frontiers of Combining Systems).

@inproceedings{7484db8752ec4429952f3280c079b3f1,

title = "Metric temporal description logics with interval-rigid names",

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

doi = "10.1007/978-3-319-66167-4\_4",

language = "English",

isbn = "9783319661667",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Nature",

pages = "60--76",

editor = "Clare Dixon and Marcelo Finger",

booktitle = "Frontiers of Combining Systems",

note = "11th International Symposium on Frontiers of Combining Systems, FroCoS 2017 ; Conference date: 27-09-2017 Through 29-09-2017",

}

Baader, F, Borgwardt, S, Koopmann, P, Ozaki, A & Thost, V 2017, Metric temporal description logics with interval-rigid names. in C Dixon & M Finger (eds), Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10483 LNAI, International Symposium on Frontiers of Combining Systems, vol. 2017, Springer Nature, pp. 60-76, 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, Brasilia, Brazil, 27/09/17. https://doi.org/10.1007/978-3-319-66167-4_4

Metric temporal description logics with interval-rigid names. / Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick et al.
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. ed. / Clare Dixon; Marcelo Finger. Springer Nature, 2017. p. 60-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10483 LNAI), (International Symposium on Frontiers of Combining Systems; Vol. 2017).

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

TY - GEN

T1 - Metric temporal description logics with interval-rigid names

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 - https://www.scopus.com/pages/publications/85029597862

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

UR - https://www.scopus.com/pages/publications/85029597862#tab=citedBy

U2 - 10.1007/978-3-319-66167-4_4

DO - 10.1007/978-3-319-66167-4_4

M3 - Conference contribution

SN - 9783319661667

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 60

EP - 76

BT - Frontiers of Combining Systems

A2 - Dixon, Clare

A2 - Finger, Marcelo

PB - Springer Nature

T2 - 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017

Y2 - 27 September 2017 through 29 September 2017

ER -

Baader F, Borgwardt S, Koopmann P, Ozaki A, Thost V. Metric temporal description logics with interval-rigid names. In Dixon C, Finger M, editors, Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Springer Nature. 2017. p. 60-76. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). (International Symposium on Frontiers of Combining Systems). Epub 2017 Aug 29. doi: 10.1007/978-3-319-66167-4_4

Metric temporal description logics with interval-rigid names

Abstract

Publication series

Conference

Funding

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

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

Cite this