Projects per year
Abstract
The graph isomorphism, subgraph isomorphism, and graph edit distance problems are combinatorial problems with many applications. Heuristic exact and approximate algorithms for each of these problems have been developed for different kinds of graphs: directed, undirected, labeled, etc. However, additional work is often needed to adapt such algorithms to different classes of graphs, for example to accommodate both labels and property annotations on nodes and edges. In this paper, we propose an approach based on answer set programming. We show how each of these problems can be defined for a general class of property graphs with directed edges, and labels and keyvalue properties annotating both nodes and edges. We evaluate this approach on a variety of synthetic and realistic graphs, demonstrating that it is feasible as a rapid prototyping approach.
Original language  English 

Title of host publication  Practical Aspects of Declarative Languages 
Subtitle of host publication  22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings 
Editors  Ekaterina Komendantskaya, Yanhong Annie Liu 
Publisher  SpringerVerlag 
Pages  2036 
Number of pages  22 
ISBN (Electronic)  9783030391973 
ISBN (Print)  9783030391966 
DOIs  
Publication status  Published  14 Jan 2020 
Event  22nd Symposium on Practical Aspects of Declarative Languages  New Orleans, United States Duration: 20 Jan 2020 → 21 Jan 2020 Conference number: 22 https://popl20.sigplan.org/home/PADL2020 
Publication series
Name  Lecture Notes in Computer Science (LNCS) 

Publisher  Springer, Cham 
Volume  12007 
ISSN (Print)  03029743 
ISSN (Electronic)  16113349 
Conference
Conference  22nd Symposium on Practical Aspects of Declarative Languages 

Abbreviated title  PADL 2020 
Country/Territory  United States 
City  New Orleans 
Period  20/01/20 → 21/01/20 
Internet address 
Keywords
 cs.LO
Fingerprint
Dive into the research topics of 'Flexible graph matching and graph edit distance using answer set programming'. Together they form a unique fingerprint.Projects
 4 Finished


SkyeA programming language bridging theory and practice for scientific data curation
1/09/16 → 31/08/22
Project: Research
