Show simple item record

dc.contributor.authorBaader F
dc.contributor.authorBorgwardt S
dc.contributor.authorKoopmann P
dc.contributor.authorOzaki A
dc.contributor.authorThost V
dc.contributor.editorDixon C
dc.contributor.editorFinger M
dc.date.accessioned2019-10-17T13:27:31Z
dc.date.available2019-10-17T13:27:31Z
dc.date.issued2017
dc.identifier.isbn978-3-319-66166-7
dc.identifier.issn0302-9743
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-319-66167-4_4
dc.identifier.urihttps://link.springer.com/chapter/10.1007/978-3-319-66167-4_4
dc.identifier.urihttps://bia.unibz.it/handle/10863/11165
dc.description.abstractIn 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.en_US
dc.languageEnglish
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relationFroCoS 2017: 11th International on Symposium Frontiers of Combining Systems ; Brasília : 27.9.2017 - 29.9.2017
dc.relation.ispartofseriesLecture Notes in Computer Science;
dc.rights
dc.titleMetric Temporal Description Logics with Interval-Rigid Namesen_US
dc.typeBook chapteren_US
dc.date.updated2019-09-29T03:26:36Z
dc.publication.titleFrontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
dc.language.isiEN-GB
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record