scholarly journals Visual Query Answering by Entity-Attribute Graph Matching and Reasoning

2019 ◽  
Author(s):  
Peixi Xiong ◽  
Huayi Zhan ◽  
Xin Wang ◽  
Baivab Sinha ◽  
Ying Wu
Keyword(s):  
Graph Matching ◽  
Query Answering ◽  
Visual Query

Computing Cores for Existential Rules with the Standard Chase and ASP

2020 ◽  
Author(s):  
Markus Krötzsch
Keyword(s):  
Large Class ◽  
Data Exchange ◽  
Answer Set Programming ◽  
Query Answering ◽  
Universal Model ◽  
The Core ◽  
Universal Models ◽  
General Terms ◽  
Special Cases ◽  
The Many

To reason with existential rules (a.k.a. tuple-generating dependencies), one often computes universal models. Among the many such models of different structure and cardinality, the core is arguably the “best”. Especially for finitely satisfiable theories, where the core is the unique smallest universal model, it has advantages in query answering, non-monotonic reasoning, and data exchange. Unfortunately, computing cores is difficult and not supported by most reasoners. We therefore propose ways of computing cores using practically implemented methods from rule reasoning and answer set programming. Our focus is on cases where the standard chase algorithm produces a core. We characterise this desirable situation in general terms that apply to a large class of cores, derive concrete approaches for decidable special cases, and generalise these approaches to non-monotonic extensions of existential rules.

scholarly journals SIGMA: A Semantic Integrated Graph Matching Approach for identifying reused functions in binary code

2015 ◽  
Vol 12 ◽  
pp. S61-S71 ◽  
Author(s):  
Saed Alrabaee ◽  
Paria Shirani ◽  
Lingyu Wang ◽  
Mourad Debbabi
Keyword(s):  
Binary Code ◽  
Graph Matching

scholarly journals Graph matching as a graph convolution operator for graph neural networks

2021 ◽  
Author(s):  
Maxime Martineau ◽  
Romain Raveaux ◽  
Donatello Conte ◽  
Gilles Venturini
Keyword(s):  
Neural Networks ◽  
Convolution Operator ◽  
Graph Matching ◽  
Graph Neural Networks
Sign in / Sign up

Export Citation Format

Share Document