AI-Augmented Business Process Management Systems: A Research Manifesto
AI-Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology. An ABPMS enhances the execution of...
Mining Frequent Structures in Conceptual Models
The problem of using structured methods to represent knowledge is well-known in conceptual modeling and has been studied for many years. It has been proven that adopting modeling patterns...
Integrating 3D City Data through Knowledge Graphs
CityGML is a widely adopted standard by the Open Geospatial Consortium (OGC) for representing and exchanging 3D city models. The representation of semantic and topological properties in CityGML...
INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision]
A full-fledged data exploration system must combine different access modalities with a powerful concept of guiding the user in the exploration process, by being reactive and anticipative both for...
Counting Query Answers over a DL-Lite Knowledge Base (extended version)
Counting answers to a query is an operation supported by virtually all database management systems. In this paper we focus on counting answers over a Knowledge Base (KB), which may be viewed as a...
Enriching Ontology-based Data Access with Provenance (Extended Version)
Ontology-based data access (OBDA) is a popular paradigm for querying heterogeneous data sources by connecting them through mappings to an ontology. In OBDA, it is often difficult to reconstruct...
On Expansion and Contraction of DL-Lite Knowledge Bases
Knowledge bases (KBs) are not static entities: new information constantly appears and some of the previous knowledge becomes obsolete. In order to reflect this evolution of knowledge, KBs should...
Combined Covers and Beth Definability (Extended Version)
In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of data-aware...
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 operates over case and persistent data (partitioned into a read-only database called catalog and a read-write database called...
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of...
Verification of Data-Aware Processes via Array-Based Systems (Extended Version)
We study verification over a general model of artifact-centric systems, to assess (parameterized) safety properties irrespectively of the initial database instance. We view such artifact systems...
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 elicitation and representation of decision models, and for managing their interconnection with business processes. DMN builds...
Modeling and In-Database Management of Relational, Data-Aware Processes (Extended Version)
During the last two decades, it has been increasingly acknowledged that the engineering of information systems usually requires a huge effort in integrating master data and business processes....
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 with the ability of operating over case and persistent data (partitioned into a read-only catalog and a read-write...
The DL-Lite Family and Relations
The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational...
Quantifier Elimination for Database Driven Verification
Running verification tasks in database driven systems requires solving quantifier elimination problems of a new kind. These quantifier elimination problems are related to the notion of a cover...
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)
In April 2016, a community of researchers working in the area of Principles of Data Management (PDM) joined in a workshop at the Dagstuhl Castle in Germany. The workshop was organized jointly by...
Semantics and Analysis of DMN Decision Tables
The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that...