3 papers
cs.AI2026
BLINKG: A Benchmark for LLM-Integrated Knowledge Graph Generation
Carla Castedo, Enrique Iglesias, Manuel Lama +3
Generating Knowledge Graphs (KGs) remains one of the most time-consuming and labor-intensive tasks for knowledge engineers, as they need to identify semantic equivalences between i…
cs.DB2025
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola +3
Despite growing interest in process analysis and mining for data-aware specifications, alignment-based conformance checking for declarative process models has focused on pure contr…
cs.AI2025
DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking
Jacobo Casas-Ramos, Manuel Lama, Manuel Mucientes
In many engineering applications, processes must be followed precisely, making conformance checking between event logs and declarative process models crucial for ensuring adherence…