{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:22Z","timestamp":1750220722859,"version":"3.41.0"},"reference-count":47,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T00:00:00Z","timestamp":1597104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"TRR 248, Center for Perspicuous Computing"},{"name":"GOASQ","award":["BA 1122\/19-1"],"award-info":[{"award-number":["BA 1122\/19-1"]}]},{"name":"DFG in the CRC 912"},{"name":"Cluster of Excellence \u201cCenter forAdvancing Electronics Dresden\u201d","award":["389792660"],"award-info":[{"award-number":["389792660"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2020,10,31]]},"abstract":"<jats:p>\n            In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow us 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 is a growing interest in extending this work to the quantitative case. In this article, we complement existing results on the combination of DLs with metric temporal logics by introducing\n            <jats:italic>interval-rigid<\/jats:italic>\n            concept and role names. Elements included in an interval-rigid concept or role name are required to stay in it for some specified amount of time. We investigate several combinations of (metric) temporal logics with\n            <jats:italic>A<\/jats:italic>\n            \u2112\n            <jats:italic>C<\/jats:italic>\n            by either allowing temporal operators only on the level of axioms or also applying them to concepts. In contrast to most existing work on the topic, we consider a timeline based on the integers and also allow assertional axioms. We show that the worst-case complexity does not increase beyond the previously known bound of 2-E\n            <jats:sc>xp<\/jats:sc>\n            S\n            <jats:sc>pace<\/jats:sc>\n            and investigate in detail how this complexity can be reduced by restricting the temporal logic and the occurrences of interval-rigid names.\n          <\/jats:p>","DOI":"10.1145\/3399443","type":"journal-article","created":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T16:16:29Z","timestamp":1597162589000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Metric Temporal Description Logics with Interval-Rigid Names"],"prefix":"10.1145","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4049-221X","authenticated-orcid":false,"given":"Franz","family":"Baader","sequence":"first","affiliation":[{"name":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0924-8478","authenticated-orcid":false,"given":"Stefan","family":"Borgwardt","sequence":"additional","affiliation":[{"name":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5999-2583","authenticated-orcid":false,"given":"Patrick","family":"Koopmann","sequence":"additional","affiliation":[{"name":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3889-6207","authenticated-orcid":false,"given":"Ana","family":"Ozaki","sequence":"additional","affiliation":[{"name":"Department of Informatics, University of Bergen, Norway and KRDB Research Centre, Free University of Bozen-Bolzano, Bozen-Bolzano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4984-1532","authenticated-orcid":false,"given":"Veronika","family":"Thost","sequence":"additional","affiliation":[{"name":"MIT-IBM Watson AI Lab, IBM Research, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,8,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 21st European Conference on Artificial Intelligence (ECAI\u201914)","volume":"263","author":"Artale Alessandro","year":"2014"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2832581.2832627"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME\u201917), Leibniz International Proceedings in Informatics","volume":"90","author":"Artale Alessandro","year":"2017"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2007.62"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629565"},{"volume-title":"Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI\u201915)","year":"2015","author":"Artale Alessando","key":"e_1_2_1_9_1"},{"volume-title":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913)","year":"2013","author":"Artale Alessandro","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625309"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 31st International Workshop on Description Logics (DL\u201918), CEUR Workshop Proceedings","volume":"2211","author":"Artale Alessandro","year":"2018"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/210"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 32nd International Workshop on Description Logics (DL\u201919), CEUR Workshop Proceedings","volume":"2373","author":"Artale Alessandro","year":"2019"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3184558.3191538"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66167-4_4"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26350-2_3"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2014.11.008"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2007. The Description Logic Handbook: Theory Implementation and Applications (2nd ed.). Cambridge University Press.  Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2007. The Description Logic Handbook: Theory Implementation and Applications (2nd ed.). Cambridge University Press.","DOI":"10.1017\/CBO9780511711787"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2287718.2287721"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2014.11.007"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 1st Global Conference on Artificial Intelligence (GCAI\u201915)","volume":"36","author":"Borgwardt Stefan","year":"2015"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2832581.2832643"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.49"},{"volume-title":"Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI\u201917)","year":"2017","author":"Brandt Sebastian","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11229"},{"key":"e_1_2_1_27_1","first-page":"173","article-title":"Designing ontology-based patterns for the representation of the time-relevant eligibility criteria of clinical protocols. AMIA Summits Translat.l Sci","volume":"2015","author":"Crowe Christopher L.","year":"2015","journal-title":"Proc."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00355298"},{"key":"e_1_2_1_29_1","series-title":"Lecture Notes in Computer Science","volume-title":"Furia and Paola Spoletini","author":"Carlo","year":"2008"},{"volume-title":"Many-dimensional Modal Logics: Theory and Applications","author":"Gabbay Dov M.","key":"e_1_2_1_30_1"},{"volume-title":"Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI\u201916)","year":"2016","author":"Guti\u00e9rrez-Basulto V\u00edctor","key":"e_1_2_1_31_1"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI\u201916)","volume":"285","author":"Guti\u00e9rrez-Basulto V\u00edctor","year":"2016"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4993"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63046-5_20"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012903"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664573"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.08.006"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2008.14"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_1"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI\u201991)","year":"1991","author":"Schild Klaus","key":"e_1_2_1_43_1"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1186\/1472-6947-8-S1-S9"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"volume-title":"Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201918)","year":"2018","author":"Thost Veronika","key":"e_1_2_1_46_1"},{"volume-title":"Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI\u201919)","year":"2019","author":"Wa\u0142\u0229ga Przemys\u0142aw Andrzej","key":"e_1_2_1_47_1"},{"volume-title":"Frontiers of Combining Systems 2(Studies in Logic and Computation","author":"Wolter Frank","key":"e_1_2_1_48_1"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3399443","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3399443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:32Z","timestamp":1750199612000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3399443"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,11]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,10,31]]}},"alternative-id":["10.1145\/3399443"],"URL":"https:\/\/doi.org\/10.1145\/3399443","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2020,8,11]]},"assertion":[{"value":"2019-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-08-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}