{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:37:41Z","timestamp":1743007061513,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031215407"},{"type":"electronic","value":"9783031215414"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21541-4_12","type":"book-chapter","created":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T06:02:41Z","timestamp":1670911361000},"page":"183-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Semina\u00efve Materialisation in\u00a0DatalogMTL"],"prefix":"10.1007","author":[{"given":"Dingmin","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Przemys\u0142aw Andrzej","family":"Wa\u0142\u0119ga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,12,14]]},"reference":[{"key":"12_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases, vol. 8. Addison-Wesley, Reading (1995)"},{"issue":"9","key":"12_CR2","doi-asserted-by":"publisher","first-page":"975","DOI":"10.14778\/3213880.3213888","volume":"11","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., Sallinger, E., Gottlob, G.: The vadalog system: Datalog-based reasoning for knowledge graphs. Proc. VLDB Endow. 11(9), 975\u2013987 (2018)","journal-title":"Proc. VLDB Endow."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1613\/jair.1.11229","volume":"62","author":"S Brandt","year":"2018","unstructured":"Brandt, S., Kalayc\u0131, E.G., 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":"12_CR4","doi-asserted-by":"crossref","unstructured":"Bry, F., et al.: Foundations of rule-based query answering. In: Reasoning Web, pp. 1\u2013153 (2007)","DOI":"10.1007\/978-3-540-74615-7_1"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Carral, D., Dragoste, I., Gonz\u00e1lez, L., Jacobs, C.J.H., Kr\u00f6tzsch, M., Urbani, J.: Vlog: a rule engine for knowledge graphs. In: Proceedings of ISWC, pp. 19\u201335 (2019)","DOI":"10.1007\/978-3-030-30796-7_2"},{"issue":"1","key":"12_CR6","first-page":"146","volume":"1","author":"S Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE TKDE 1(1), 146\u2013166 (1989)","journal-title":"IEEE TKDE"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Cucala, D.J.T., Wa\u0142\u0119ga, P.A., Cuenca Grau, B., Kostylev, E.V.: Stratified negation in Datalog with metric temporal operators. In: Proceedings of AAAI, pp. 6488\u20136495 (2021)","DOI":"10.1609\/aaai.v35i7.16804"},{"issue":"2\u20133","key":"12_CR8","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Semant. 3(2\u20133), 158\u2013182 (2005)","journal-title":"J. Web Semant."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Kalayc\u0131, E.G., Xiao, G., Ryzhikov, V., Kalayci, T.E., Calvanese, D.: Ontop-temporal: a tool for ontology-based query answering over temporal data. In: Proceedings of CIKM, pp. 1927\u20131930 (2018)","DOI":"10.1145\/3269206.3269230"},{"key":"12_CR10","unstructured":"Kikot, S., Ryzhikov, V., Wa\u0142\u0119ga, P.A., Zakharyaschev, M.: On the data complexity of ontology-mediated queries with MTL operators over timed words. In: Proceedings of DL (2018)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Koopmann, P.: Ontology-based query answering for probabilistic temporal data. In: Proceedings of AAAI, pp. 2903\u20132910 (2019)","DOI":"10.1609\/aaai.v33i01.33012903"},{"issue":"4","key":"12_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. J. R Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"J. R Time Syst."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Mori, M., Papotti, P., Bellomarini, L., Giudice, O.: Neural machine translation for fact-checking temporal claims. In: Proceedings of FEVER, p. 78 (2022)","DOI":"10.18653\/v1\/2022.fever-1.8"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.artint.2018.12.004","volume":"269","author":"B Motik","year":"2019","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Maintenance of Datalog materialisations revisited. Artif. Intell. 269, 76\u2013136 (2019)","journal-title":"Artif. Intell."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of Datalog programs in centralised, main-memory RDF systems. In: Proceedings of AAAI (2014)","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"12_CR16","unstructured":"Nissl, M., Sallinger, E.: Modelling smart contracts with datalogmtl. In: Ramanath, M., Palpanas, T. (eds.) Proceedings of the Workshops of the EDBT\/ICDT. CEUR, vol. 3135. CEUR-WS.org (2022)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Ryzhikov, V., Wa\u0142\u0119ga, P.A., Zakharyaschev, M.: Data complexity and rewritability of ontology-mediated queries in metric temporal logic under the event-based semantics. In: Proceedings of IJCAI, pp. 1851\u20131857 (2019)","DOI":"10.24963\/ijcai.2019\/256"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Wa\u0142\u0119ga, P.A., Cuenca Grau, B., Kaminski, M., Kostylev, E.V.: DatalogMTL: computational complexity and expressive power. In: Proceedings of IJCAI, pp. 1886\u20131892 (2019)","DOI":"10.24963\/ijcai.2019\/261"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Wa\u0142\u0119ga, P.A., Cuenca Grau, B., Kaminski, M., Kostylev, E.V.: DatalogMTL over the integer timeline. In: Proceedings of KR, pp. 768\u2013777 (2020)","DOI":"10.24963\/kr.2020\/79"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Wa\u0142\u0119ga, P.A., Kaminski, M., Cuenca Grau, B.: Reasoning over streaming data in metric temporal Datalog. In: Proceedings of AAAI, pp. 3092\u20133099 (2019)","DOI":"10.1609\/aaai.v33i01.33013092"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Wa\u0142\u0119ga, P.A., Zawidzki, M., Cuenca Grau, B.: Finitely materialisable Datalog programs with metric temporal operators. In: Proceedings of KR (2021)","DOI":"10.24963\/kr.2021\/59"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Wang, D., Hu, P., Wa\u0142\u0119ga, P.A., Grau, B.C.: MeTeoR: practical reasoning in Datalog with metric temporal operators. In: Proceedings of AAAI (2022)","DOI":"10.1609\/aaai.v36i5.20535"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21541-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,10]],"date-time":"2024-10-10T07:52:46Z","timestamp":1728546766000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21541-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031215407","9783031215414"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21541-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"14 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dblp.org\/db\/conf\/rulemlrr\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"54","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}