{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T15:10:09Z","timestamp":1752073809457,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,14]]},"DOI":"10.1145\/3719384.3719446","type":"proceedings-article","created":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T14:44:03Z","timestamp":1752072243000},"page":"423-428","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributed Incremental Ontology Reasoning over Dynamic T-boxes"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2679-6639","authenticated-orcid":false,"given":"Bruno Rucy","family":"Lima Carneiro Alves De","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Tartu, Estonia, Tartu, Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1413-0680","authenticated-orcid":false,"given":"Merlin","family":"Kramer","sequence":"additional","affiliation":[{"name":"Independent Researcher, Germany, Wuppertal, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1112-2620","authenticated-orcid":false,"given":"Victor Henrique Cabral","family":"Pinheiro","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Tartu, Estonia, Tartu, Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,9]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"[n.d.]. https:\/\/aws.com."},{"key":"e_1_3_3_1_3_2","unstructured":"2014. https:\/\/www.w3.org\/TR\/rdf11-mt."},{"key":"e_1_3_3_1_4_2","unstructured":"2014. https:\/\/www.w3.org\/TR\/rdf11-mt\/#rdfs-interpretations."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-662-46678-0_5","volume-title":"Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 18","author":"Abadi Mart\u00edn","year":"2015","unstructured":"Mart\u00edn Abadi, Frank McSherry, and Gordon\u00a0D Plotkin. 2015. Foundations of differential dataflow. In Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 18. Springer, 71\u201383."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24750-0_4"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Mihai Budiu Frank McSherry Leonid Ryzhyk and Val Tannen. 2022. DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16 (2022) 1601\u20131614.","DOI":"10.14778\/3587136.3587137"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Stefano Ceri Georg Gottlob and Letizia Tanca. 1989. What you Always Wanted to Know About Datalog (And Never Dared to Ask). Knowledge and Data Engineering IEEE Transactions on 1 (04 1989) 146 \u2013 166. 10.1109\/69.43410","DOI":"10.1109\/69.43410"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"David\u00a0Tena Cucala Bernardo\u00a0Cuenca Grau and Ian Horrocks. 2019. Sequoia: A Consequence Based Reasoner for SROIQ. Description Logics (2019).","DOI":"10.1007\/978-3-030-22102-7_27"},{"key":"e_1_3_3_1_10_2","unstructured":"Bruno Rucy Carneiro\u00a0Alves de Lima. 2024. PyDBSP Implementation Github Repository. https:\/\/github.com\/brurucy\/pydbsp"},{"key":"e_1_3_3_1_11_2","series-title":"CEUR Workshop Proceedings","first-page":"2","volume-title":"Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), Dallas, Texas, USA, October 11, 2024","volume":"3801","author":"Lima Bruno Rucy Carneiro\u00a0Alves de","year":"2024","unstructured":"Bruno Rucy Carneiro\u00a0Alves de Lima, Kalmer Apinis, Merlin Kramer, and Kristopher\u00a0K. Micinski. 2024. Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program. In Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), Dallas, Texas, USA, October 11, 2024(CEUR Workshop Proceedings, Vol.\u00a03801), Mario Alviano and Matthias Lanzinger (Eds.). CEUR-WS.org, 2\u201316. https:\/\/ceur-ws.org\/Vol-3801\/paper1.pdf"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Dieter Fensel Umutcan \u015eim\u015fek Kevin Angele Elwin Huaman Elias K\u00e4rle Oleksandra Panasiuk Ioan Toma J\u00fcrgen Umbrich Alexander Wahler Dieter Fensel et\u00a0al. 2020. Introduction: what is a knowledge graph? Knowledge graphs: Methodology tools and selected use cases (2020) 1\u201310.","DOI":"10.1007\/978-3-030-37439-6_1"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Birte Glimm Ian Horrocks Boris Motik Giorgos Stoilos and Zhe Wang. 2014. Hermit: An Owl 2 Reasoner. Journal of Automated Reasoning 53 (10 2014). 10.1007\/s10817-014-9305-1","DOI":"10.1007\/s10817-014-9305-1"},{"key":"e_1_3_3_1_14_2","first-page":"31","volume-title":"26th ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"Green Todd\u00a0J","year":"2007","unstructured":"Todd\u00a0J Green, Grigoris Karvounarakis, and Val Tannen. 2007. Provenance semirings. In 26th ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. 31\u201340."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Yuanbo Guo Zhengxiang Pan and Jeff Heflin. 2005. LUBM: a benchmark for OWL knowledge base systems. Web Semantics: Science Services and Agents on the World Wide Web 3 (10 2005) 158\u2013182. 10.1016\/j.websem.2005.06.005","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"e_1_3_3_1_16_2","first-page":"1871","volume-title":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018","author":"Hu Pan","year":"2018","unstructured":"Pan Hu, Boris Motik, and Ian Horrocks. 2018. Optimised Maintenance of Datalog Materialisations. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, Sheila\u00a0A. McIlraith and Kilian\u00a0Q. Weinberger (Eds.). AAAI Press, 1871\u20131879. https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/16785"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Yevgeny Kazakov Markus Kr\u00f6tzsch and Frantisek Simancik. 2013. The Incredible ELK. Journal of Automated Reasoning 53 (2013) 1\u201361.","DOI":"10.1007\/s10817-013-9296-3"},{"key":"e_1_3_3_1_18_2","unstructured":"Patrick Lewis Ethan Perez Aleksandra Piktus Fabio Petroni Vladimir Karpukhin Naman Goyal Heinrich K\u00fcttler Mike Lewis Wen-tau Yih Tim Rockt\u00e4schel et\u00a0al. 2020. Retrieval-augmented generation for knowledge-intensive nlp tasks. Advances in Neural Information Processing Systems 33 (2020) 9459\u20139474."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Yavor Nenov Robert Piro Boris Motik Ian Horrocks Zhe Wu and Jay Banerjee. 2015. RDFox: A Highly-Scalable RDF Store. 3\u201320. 10.1007\/978-3-319-25010-6_1","DOI":"10.1007\/978-3-319-25010-6_1"},{"key":"e_1_3_3_1_20_2","unstructured":"Boci Peng Yun Zhu Yongchao Liu Xiaohe Bo Haizhou Shi Chuntao Hong Yan Zhang and Siliang Tang. 2024. Graph Retrieval-Augmented Generation: A Survey. arxiv:https:\/\/arXiv.org\/abs\/2408.08921\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/2408.08921"},{"key":"e_1_3_3_1_21_2","volume-title":"International Workshop on the Semantic Web","author":"Singh Gunjan","year":"2020","unstructured":"Gunjan Singh, Sumit\u00a0Kaur Bhatia, and Raghava Mutharaju. 2020. OWL2Bench: A Benchmark for OWL 2 Reasoners. In International Workshop on the Semantic Web. https:\/\/api.semanticscholar.org\/CorpusID:226229397"}],"event":{"name":"AICCC 2024: 2024 the 7th Artificial Intelligence and Cloud Computing Conference","location":"Tokyo Japan","acronym":"AICCC 2024"},"container-title":["Proceedings of the 2024 7th Artificial Intelligence and Cloud Computing Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3719384.3719446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T14:44:43Z","timestamp":1752072283000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3719384.3719446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,14]]},"references-count":20,"alternative-id":["10.1145\/3719384.3719446","10.1145\/3719384"],"URL":"https:\/\/doi.org\/10.1145\/3719384.3719446","relation":{},"subject":[],"published":{"date-parts":[[2024,12,14]]},"assertion":[{"value":"2025-07-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}