{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:55:33Z","timestamp":1740099333484,"version":"3.37.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030221010"},{"type":"electronic","value":"9783030221027"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22102-7_21","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T12:21:26Z","timestamp":1561465286000},"page":"441-474","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Temporally Attributed Description Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3889-6207","authenticated-orcid":false,"given":"Ana","family":"Ozaki","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9172-2601","authenticated-orcid":false,"given":"Markus","family":"Kr\u00f6tzsch","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1609-2080","authenticated-orcid":false,"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,1]]},"reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"publisher","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."},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-68288-4_3","volume-title":"The Semantic Web \u2013 ISWC 2017","author":"A Artale","year":"2017","unstructured":"Artale, A., Franconi, E., Pe\u00f1aloza, R., Sportelli, F.: A decidable very expressive description logic for databases. In: d\u2019Amato, C., et al. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 37\u201352. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68288-4_3"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28\u201330 June 2007, Alicante, Spain, pp. 11\u201322 (2007)","DOI":"10.1109\/TIME.2007.62"},{"key":"21_CR4","unstructured":"Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 711\u2013717 (2013)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-319-66167-4_4","volume-title":"Frontiers of Combining Systems","author":"F Baader","year":"2017","unstructured":"Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A., Thost, V.: Metric temporal description logics with interval-rigid names. In: Dixon, C., Finger, M. (eds.) FroCoS 2017. LNCS (LNAI), vol. 10483, pp. 60\u201376. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66167-4_4"},{"key":"21_CR6","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL}$$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369. Professional Book Center (2005)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"issue":"3","key":"21_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2287718.2287721","volume":"13","author":"Franz Baader","year":"2012","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Log. 13(3) (2012)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"21_CR9","first-page":"25","volume":"24","author":"F Baader","year":"2010","unstructured":"Baader, F., Lutz, C., Turhan, A.-Y.: Small is again beautiful in description logics. KI 24(1), 25\u201333 (2010)","journal-title":"KI"},{"issue":"1\u20132","key":"21_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1\u20132), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"21_CR11","unstructured":"Borgwardt, S., Thost, V.: Temporal query answering in the description logic EL. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 2819\u20132825 (2015)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Bourgaux, C., Ozaki, A.: Querying attributed DL-Lite ontologies using provenance semirings. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence (2019)","DOI":"10.1609\/aaai.v33i01.33012719"},{"key":"21_CR13","unstructured":"Brandt, S., Kalayci, E., Kontchakov, R., Ryzhikov, V., Xiao, G., Zakharyaschev, M.: Ontology-based data access with a horn fragment of metric temporal logic. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 4\u20139 February 2017, San Francisco, California, USA, pp. 1070\u20131076 (2017)"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1613\/jair.1.11229","volume":"62","author":"S Brandt","year":"2018","unstructured":"Brandt, S., Kalayci, E., Ryzhikov, V., Xiao, G., Zakharyaschev, M.: Querying log data with metric temporal logic. J. Artif. Intell. Res. 62, 829\u2013877 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Carapelle, C., Turhan, A.-Y.: Description logics reasoning w.r.t. general TBoxes is decidable for concrete domains with the EHD-property. In: ECAI 2016\u201322nd European Conference on Artificial Intelligence, pp. 1440\u20131448 (2016)","DOI":"10.25368\/2022.225"},{"issue":"1","key":"21_CR16","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"AK Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM 28(1), 114\u2013133 (1981)","journal-title":"J. ACM"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/BFb0014006","volume-title":"Temporal Logic","author":"J Chomicki","year":"1994","unstructured":"Chomicki, J.: Temporal query languages: a survey. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 506\u2013534. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0014006"},{"key":"21_CR18","unstructured":"Fisher, M.D., Gabbay, D.M., Vila, L. (eds.): Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier (2005)"},{"key":"21_CR19","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":"21_CR20","doi-asserted-by":"publisher","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":"21_CR21","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.artint.2012.06.001","volume":"194","author":"J Hoffart","year":"2013","unstructured":"Hoffart, J., Suchanek, F.M., Berberich, K., Weikum, G.: YAGO2: a spatially and temporally enhanced knowledge base from wikipedia. J. Artif. Intell. 194, 28\u201361 (2013)","journal-title":"J. Artif. Intell."},{"key":"21_CR22","unstructured":"Kr\u00f6tzsch, M.: Ontologies for knowledge graphs? In: Artale, A., Glimm, B., Kontchakov, R. (eds.) Proceedings of the 30th International Workshop on Description Logics (DL 2017). CEUR Workshop Proceedings, vol. 1879, CEUR-WS.org (2017)"},{"key":"21_CR23","first-page":"418","volume-title":"Lecture Notes in Computer Science","author":"Markus Kr\u00f6tzsch","year":"2017","unstructured":"Kr\u00f6tzsch, M., Marx, M., Ozaki, A., Thost, V.: Attributed description logics: ontologies for knowledge graphs. In: The Semantic Web - ISWC - 16th International Semantic Web Conference, pp. 418\u2013435 (2017)"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Marx, M., Ozaki, A., Thost, V.: Attributed description logics: reasoning on knowledge graphs. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, pp. 5309\u20135313 (2018)","DOI":"10.24963\/ijcai.2018\/743"},{"issue":"1","key":"21_CR25","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/2422085.2422087","volume":"14","author":"M Kr\u00f6tzsch","year":"2013","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexities of horn description logics. ACM Trans. Comput. Log. 14(1), 2:1\u20132:36 (2013)","journal-title":"ACM Trans. Comput. Log."},{"key":"21_CR26","unstructured":"Leo, J., Sattler, U., Parsia, B.: Temporalising EL concepts with time intervals. In: Proceedings of the 27th International Workshop on Description Logics (DL 2014). CEUR Workshop Proceedings, vol. 1193, pp. 620\u2013632. CEUR-WS.org (2014)"},{"key":"21_CR27","unstructured":"Lutz, C.: The complexity of description logics with concrete domains. Ph.D. thesis, RWTH Aachen University, Germany (2002)"},{"issue":"2","key":"21_CR28","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.artint.2003.08.001","volume":"152","author":"C Lutz","year":"2004","unstructured":"Lutz, C.: Combining interval-based temporal reasoning with general TBoxes. Artif. Intell. 152(2), 235\u2013274 (2004)","journal-title":"Artif. Intell."},{"key":"21_CR29","unstructured":"Lutz, C., Haarslev, V., M\u00f6ller, R.: A concept language with role-forming predicate restrictions. Technical report, University of Hamburg (1997)"},{"key":"21_CR30","unstructured":"Lutz, C., M\u00f6ller, R.: Defined topological relations in description logics. In: Brachman, R.J., et al. (eds.) Proceedings of the 1997 International Workshop on Description Logics (DL 1997). URA-CNRS, vol. 410 (1997)"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: 15th International Symposium on Temporal Representation and Reasoning, TIME, pp. 3\u201314 (2008)","DOI":"10.1109\/TIME.2008.14"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Marx, M., Kr\u00f6tzsch, M., Thost, V.: Logic on MARS: ontologies for generalised property graphs. In: Sierra, C. (ed.) Proceedings of the 26th International Joint Conferences on Artificial Intelligence (IJCAI 2017). IJCAI, pp. 1188\u20131194 (2017)","DOI":"10.24963\/ijcai.2017\/165"},{"key":"21_CR33","unstructured":"openCypher community. Cypher Query Language Reference, Version 9. http:\/\/www.opencypher.org\/resources (2019)"},{"issue":"6","key":"21_CR34","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1002\/bult.2010.1720360610","volume":"36","author":"MA Rodriguez","year":"2010","unstructured":"Rodriguez, M.A., Neubauer, P.: Constructions from dots and lines. Bull. Am. Soc. Inf. Sci. Technol. 36(6), 35\u201341 (2010)","journal-title":"Bull. Am. Soc. Inf. Sci. Technol."},{"key":"21_CR35","unstructured":"Rogers Jr., H.: Theory of Recursive Functions and Effective Computability, Paperback edn. MIT Press (1987)"},{"key":"21_CR36","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-87803-2_30","volume-title":"Logics in Artificial Intelligence","author":"S Rudolph","year":"2008","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Cheap boolean role constructors for description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 362\u2013374. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87803-2_30"},{"key":"21_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"827","DOI":"10.1007\/978-3-319-48472-3_52","volume-title":"On the Move to Meaningful Internet Systems: OTM 2016 Conferences, OTM 2016","author":"F Sportelli","year":"2016","unstructured":"Sportelli, F., Franconi, E.: Formalisation of ORM derivation rules and their mapping into OWL. In: Debruyne, C., et al. (eds.) On the Move to Meaningful Internet Systems: OTM 2016 Conferences, OTM 2016. Lecture Notes in Computer Science, vol. 10033, pp. 827\u2013843. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48472-3_52"},{"issue":"10","key":"21_CR38","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/2629489","volume":"57","author":"D Vrande\u010di\u0107","year":"2014","unstructured":"Vrande\u010di\u0107, D., Kr\u00f6tzsch, M.: Wikidata: a free collaborative knowledgebase. Commun. ACM 57(10), 78\u201385 (2014)","journal-title":"Commun. ACM"},{"key":"21_CR39","first-page":"379","volume":"2","author":"F Wolter","year":"1999","unstructured":"Wolter, F., Zakharyaschev, M.: Temporalizing description logics. Front. Combin. Syst. 2, 379\u2013402 (1999)","journal-title":"Front. Combin. Syst."}],"container-title":["Lecture Notes in Computer Science","Description Logic, Theory Combination, and All That"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22102-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T20:29:14Z","timestamp":1663792154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22102-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030221010","9783030221027"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22102-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}