Bridging max graph neural networks and datalog with negation

Bridging max graph neural networks and datalog with negation

We consider a general class of data transformations based on Graph Neural Networks (GNNs), which can be used for a wide variety of tasks. An important question in this setting is characterising the expressive power of these transformations in terms of a suitable logic-based language. From a practica...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Tena Cucala, D, Cuenca Grau, B
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	IJCAI Organization 2024

Eitemau Tebyg

On the correspondence between monotonic max-sum GNNs and datalog
gan: Tena Cucala, D, et al.
Cyhoeddwyd: (2023)

On the correspondence between monotonic max-sum GNNs and Datalog
gan: Tena Cucala, D, et al.
Cyhoeddwyd: (2023)

Stratified negation in datalog with metric temporal operators
gan: Tena Cucala, D, et al.
Cyhoeddwyd: (2021)

DatalogMTL with negation under stable models semantics
gan: Wałęga, PA, et al.
Cyhoeddwyd: (2021)

The stable model semantics of datalog with metric temporal operators
gan: Walega, P, et al.
Cyhoeddwyd: (2023)

Stratified negation in limit datalog programs
gan: Kaminski, M, et al.
Cyhoeddwyd: (2018)

Complexity and expressive power of disjunction and negation in limit datalog
gan: Kaminski, M, et al.
Cyhoeddwyd: (2020)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
gan: Cuenca Grau, B, et al.
Cyhoeddwyd: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014)

Relational graph convolutional networks do not learn sound rules
gan: Morris, M, et al.
Cyhoeddwyd: (2024)

Reasoning techniques in DatalogMTL
gan: Wałega, PA, et al.
Cyhoeddwyd: (2022)

Stream reasoning with DatalogMTL
gan: Walega, P, et al.
Cyhoeddwyd: (2023)

Stream reasoning in temporal datalog
gan: Ronca, A, et al.
Cyhoeddwyd: (2018)

Explainable GNN-based models over knowledge graphs
gan: Tena Cucala, DJ, et al.
Cyhoeddwyd: (2022)

DatalogMTL over integer timeline
gan: Walega, PA, et al.
Cyhoeddwyd: (2020)

Recurrent graph neural networks and their connections to bisimulation and logic
gan: Pflueger, M, et al.
Cyhoeddwyd: (2024)

The complexity and expressive power of limit Datalog
gan: Kaminski, M, et al.
Cyhoeddwyd: (2021)

Tractable fragments of datalog with metric temporal operators
gan: Wałęga, PA, et al.
Cyhoeddwyd: (2020)

DatalogMTL: computational complexity and expressive power
gan: Walega, P, et al.
Cyhoeddwyd: (2019)

Finitely materialisable Datalog programs with metric temporal operators
gan: Wałęga, PA, et al.
Cyhoeddwyd: (2021)

Finite materialisability of Datalog programs with metric temporal operators
gan: Wałęga, PA, et al.
Cyhoeddwyd: (2023)

Reasoning over streaming data in metric temporal datalog
gan: Walega, P, et al.
Cyhoeddwyd: (2019)

Materialisation-based reasoning in DatalogMTL with bounded intervals
gan: Wałęga, PA, et al.
Cyhoeddwyd: (2023)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014)

Controlled query evaluation for datalog and OWL 2 profile ontologies
gan: Kostylev, E, et al.
Cyhoeddwyd: (2015)

Generative Datalog with stable negation
gan: Alviano, M, et al.
Cyhoeddwyd: (2023)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014)

MeTeoR: practical reasoning in datalog with metric temporal operators
gan: Wang, D, et al.
Cyhoeddwyd: (2022)

Streaming partitioning of RDF graphs for datalog reasoning
gan: Ajileye, T, et al.
Cyhoeddwyd: (2021)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
gan: Kaminski, M, et al.
Cyhoeddwyd: (2017)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
gan: Tena Cucala, D, et al.
Cyhoeddwyd: (2021)

Faithful approaches to rule learning
gan: Tena Cucala, DJ, et al.
Cyhoeddwyd: (2022)

The Vadalog system: datalog-based reasoning for knowledge graphs
gan: Bellomarini, L, et al.
Cyhoeddwyd: (2018)

Computing Datalog Rewritings Beyond Horn Ontologies
gan: Grau, B, et al.
Cyhoeddwyd: (2013)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
gan: Kaminski, M, et al.
Cyhoeddwyd: (2013)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
gan: Zhou, Y, et al.
Cyhoeddwyd: (2015)

Datalog rewriting techniques for non-Horn ontologies
gan: Kaminski, M, et al.
Cyhoeddwyd: (2014)

Integrating Datalog with OWL: Exploring the AL−log Approach.
gan: Ruckhaus, E, et al.
Cyhoeddwyd: (2006)