research
∙
01/30/2022
Augmented Business Process Management Systems: A Research Manifesto
Augmented Business Process Management Systems (ABPMSs) are an emerging c...
share
research
∙
08/27/2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
In the context of verification of data-aware processes (DAPs), a formal ...
research
∙
04/09/2021
INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision]
A full-fledged data exploration system must combine different access mod...
research
∙
12/03/2020
Mapping Patterns for Virtual Knowledge Graphs
Virtual Knowledge Graphs (VKG) constitute one of the most promising para...
research
∙
05/12/2020
Counting Query Answers over a DL-Lite Knowledge Base (extended version)
Counting answers to a query is an operation supported by virtually all d...
research
∙
01/25/2020
On Expansion and Contraction of DL-Lite Knowledge Bases
Knowledge bases (KBs) are not static entities: new information constantl...
research
∙
11/18/2019
Combined Covers and Beth Definability
In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exp...
research
∙
06/01/2019
Enriching Ontology-based Data Access with Provenance (Extended Version)
Ontology-based data access (OBDA) is a popular paradigm for querying het...
research
∙
06/01/2019
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)
We propose DAB -- a data-aware extension of BPMN where the process opera...
research
∙
06/01/2019
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN
We propose DAB -- a data-aware extension of BPMN where the process opera...
research
∙
05/30/2019
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN
We propose DAB -- a data-aware extension of the BPMN de-facto standard w...
research
∙
10/18/2018
Modelling and Enactment of Data-aware Processes
During the last two decades, increasing attention has been given to the ...
research
∙
07/31/2018
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
∙
07/31/2018
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledg
The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
∙
06/29/2018
Verification of Data-Aware Processes via Array-Based Systems (Extended Version)
We study verification over a general model of data-aware processes, to a...
research
∙
06/25/2018
Quantifier Elimination for Database Driven Verification
Running verification tasks in database driven systems requires solving q...
research
∙
06/15/2018
Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version)
OPTIONAL is a key feature in SPARQL for dealing with missing information...
research
∙
07/21/2017
Cost-Driven Ontology-Based Data Access (Extended Version)
In ontology-based data access (OBDA), users are provided with a conceptu...
research
∙
11/26/2015
Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version)
Ontology-based data access (OBDA) is a novel paradigm facilitating acces...
research
∙
04/30/2015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Knowledge and Action Bases (KABs) have been put forward as a semanticall...
research
∙
11/17/2014
Verification of Relational Multiagent Systems with Data Types (Extended Version)
We study the extension of relational multiagent systems (RMASs), where a...
research
∙
04/16/2014
Managing Change in Graph-structured Data Using Description Logics (long version with appendix)
In this paper, we consider the setting of graph-structured data that evo...
research
∙
02/28/2014
Nested Regular Path Queries in Description Logics
Two-way regular path queries (2RPQs) have received increased attention r...
research
∙
02/04/2014
Reasoning about Explanations for Negative Query Answers in DL-Lite
In order to meet usability requirements, most logic-based applications p...
research
∙
02/04/2014
Description Logic Knowledge and Action Bases
Description logic Knowledge and Action Bases (KAB) are a mechanism for p...
research
∙
01/15/2014
The DL-Lite Family and Relations
The recently introduced series of description logics under the common mo...
research
∙
08/28/2013
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Artifact-Centric systems have emerged in the last years as a suitable fr...
research
∙
04/23/2013
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Description Logic Knowledge and Action Bases (KABs) have been recently i...
research
∙
04/21/2013