{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:03:39Z","timestamp":1775819019994,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319661667","type":"print"},{"value":"9783319661674","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66167-4_4","type":"book-chapter","created":{"date-parts":[[2017,8,28]],"date-time":"2017-08-28T11:15:18Z","timestamp":1503918918000},"page":"60-76","source":"Crossref","is-referenced-by-count":16,"title":["Metric Temporal Description Logics with Interval-Rigid Names"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Borgwardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Koopmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Ozaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Veronika","family":"Thost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,29]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35\u201377 (1993)","journal-title":"Inf. Comput."},{"issue":"1","key":"4_CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181\u2013204 (1994)","journal-title":"J. ACM"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Artale, A., Bresolin, D., Montanari, A., Sciavicco, G., Ryzhikov, V.: DL-lite and interval temporal logics: a marriage proposal. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 957\u2013958. IOS Press (2014)","DOI":"10.3233\/978-1-61499-419-0-957"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 1417\u20131423. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9406"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), pp. 11\u201322. IEEE Press (2007)","DOI":"10.1109\/TIME.2007.62"},{"key":"4_CR6","unstructured":"Artale, A., Lutz, C., Toman, D.: A description logic of change. In: Proceedings of the 20th International Joint Conference Artificial Intelligence (IJCAI 2007), pp. 218\u2013223 (2007)"},{"key":"4_CR7","unstructured":"Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A., Thost, V.: Metric temporal description logics with interval-rigid names (extended version). LTCS-Report 17-03 (2017). https:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"4_CR8","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"issue":"3","key":"4_CR9","doi-asserted-by":"crossref","first-page":"21:1","DOI":"10.1145\/2287718.2287721","volume":"13","author":"F Baader","year":"2012","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Log. 13(3), 21:1\u201321:32 (2012)","journal-title":"ACM Trans. Comput. Log."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Thost, V.: Temporal query answering in the description logic $$\\cal{EL}$$ . In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2819\u20132825. AAAI Press (2015)","DOI":"10.25368\/2022.221"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Brandt, S., Kalayc\u0131, E.G., Kontchakov, R., Ryzhikov, V., Xiao, G., Zakharyaschev, M.: Ontology-based data access with a horn fragment of metric temporal logic. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), pp. 1070\u20131076. AAAI Press (2017)","DOI":"10.1609\/aaai.v31i1.10696"},{"key":"4_CR12","unstructured":"Crowe, C.L., Tao, C.: Designing ontology-based patterns for the representation of the time-relevant eligibility criteria of clinical protocols. In: AMIA Summits on Translational Science Proceedings 2015, pp. 173\u2013177 (2015)"},{"key":"4_CR13","unstructured":"Guti\u00e9rrez-Basulto, V., Jung, J.C., Ozaki, A.: On metric temporal description logics. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pp. 837\u2013845. IOS Press (2016)"},{"issue":"1","key":"4_CR14","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/4904.4993","volume":"33","author":"D Harel","year":"1986","unstructured":"Harel, D.: Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. J. ACM 33(1), 224\u2013248 (1986)","journal-title":"J. ACM"},{"key":"4_CR15","unstructured":"Kurucz, A., Wolter, F., Zakharyaschev, M., Gabbay, D.M.: Many-dimensional modal logics: theory and applications. Gulf Professional Publishing (2003)"},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/j.ic.2006.08.006","volume":"205","author":"C Lutz","year":"2007","unstructured":"Lutz, C., Walther, D., Wolter, F.: Quantitative temporal logics over the reals: PSPACE and below. Inf. Comput. 205(1), 99\u2013123 (2007)","journal-title":"Inf. Comput."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: Proceedings of the 15th Symposium on Temporal Representation and Reasoning (TIME 2008), pp. 3\u201314. IEEE Press (2008)","DOI":"10.1109\/TIME.2008.14"},{"key":"4_CR18","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 466\u2013471. Morgan Kaufmann (1991)"},{"issue":"Suppl 1","key":"4_CR19","doi-asserted-by":"crossref","first-page":"S9","DOI":"10.1186\/1472-6947-8-S1-S9","volume":"8","author":"S Schulz","year":"2008","unstructured":"Schulz, S., Mark\u00f3, K., Suntisrivaraporn, B.: Formal representation of complex SNOMED CT expressions. BMC Med. Inform. Decis. Mak. 8(Suppl 1), S9 (2008)","journal-title":"BMC Med. Inform. Decis. Mak."},{"key":"4_CR20","unstructured":"Wolter, F., Zakharyaschev, M.: Temporalizing description logics. In: Frontiers of Combining Systems, vol. 2, pp. 379\u2013402. Research Studies Press\/Wiley (2000)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66167-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T03:52:46Z","timestamp":1750823566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66167-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661667","9783319661674"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66167-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}