Seraph: Continuous Queries on Property Graph Streams.. EDBT, 234--247, 2024. [PUMA: area_bigdata topic_graph yaff xack]
Efficient Dependency Analysis for Rule-Based Ontologies. In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, and Claudia d’Amato (Eds.), The Semantic Web – ISWC 2022, 267 -- 283, Springer, Berlin u. a., Germany, Oct 16, 2022. [PUMA: topic_graph topic_knowledge xack]
Tuple-Generating Dependencies Capture Complex Values. In Dan Olteanu, and Nils Vortmeier (Eds.), Proceedings of the 25th International Conference on Database Theory (ICDT 2022), (220):13:1–13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Mar 1, 2022. [PUMA: topic_graph topic_knowledge xack]
Graph-based Active Learning for Entity Cluster Repair. arXiv preprint arXiv:2401.14992, 2024. [PUMA: area_bigdata ep imported topic_graph yaff xack]
Towards self-configuring knowledge graph construction pipelines using llms-a case study with rml. Fifth International Workshop on Knowledge Graph Construction@ ESWC2024, 2024. [PUMA: area_bigdata ep imported topic_graph yaff xack]
The future is big graphs: a community view on graph processing systems. 2021. [PUMA: area_bigdata nopdf topic_graph]
Property Graph Stream Processing In Action with Seraph. Companion of the 2024 International Conference on Management of Data, 492–495, Association for Computing Machinery, New York, NY, USA, Jun 9, 2024. [PUMA: area_bigdata topic_graph yaff] URL
Notation3 as an Existential Rule Language. Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, Springer, October 2023. [PUMA: imported topic_graph yaff xack]
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. In Aniello Murano, and Alexandra Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), (288):33:1--33:19, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2024. [PUMA: imported topic_graph topic_knowledge xack] URL
Efficient Dependency Analysis for Existential Rules. 2023. [PUMA: imported topic_graph topic_knowledge xack yaff]
Answering queries with negation over existential rules. Proc. Conf. AAAI Artif. Intell., (36)5:5626--5633, Association for the Advancement of Artificial Intelligence (AAAI), June 2022. [PUMA: topic_graph topic_knowledge xack]
Distributed temporal graph analytics with GRADOOP. VLDB J., (31)2:375--401, Springer Science and Business Media LLC, March 2022. [PUMA: area_bigdata topic_graph yaff]
Fast hubness-reduced nearest neighbor search for entity alignment in Knowledge Graphs. SN Comput. Sci., (3)6Springer Science and Business Media LLC, October 2022. [PUMA: area_bigdata topic_graph xack yaff]
An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog. Rules and Reasoning, 146--163, Springer International Publishing, 2022. [PUMA: topic_graph topic_knowledge xack] URL
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. In Dana Fisman, and Grigore Rosu (Eds.), Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), (13243):480-501, Springer, 2022. [PUMA: topic_graph topic_knowledge xack]
Evolution of degree metrics in large temporal graphs. Gesellschaft für Informatik e.V., 2023. [PUMA: area_bigdata topic_graph xack]
Big data integration for industry 4.0. Digital Transformation, 247--268, Springer Berlin Heidelberg, Berlin, Heidelberg, 2023. [PUMA: area_bigdata topic_graph yaff]
Nemo: First glimpse of a new rule engine. arXiv, 2023. [PUMA: topic_graph topic_knowledge yaff]