Search
Now showing items 1-10 of 41
-
Foundations of data-aware process analysis: a database theory perspective
(ACM, 2013)In this work we survey the research on foundations of data-aware (business) processes that has been carried out in the database theory community. We show that this community has indeed developed over the years a multi-faceted ... -
Verification of Inconsistency-Aware Knowledge and Action Bases
(AAAI Press, 2013)Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set ... -
Process fragment recognition in clinical documents
(Springer, 2013)We describe a first experiment on automated activity and relation identification, and more in general, on the automated identification and extraction of computer-interpretable guideline fragments from clinical documents. ... -
Verification and synthesis in description logic based dynamic systems (Abridged Version)
(CEUR-WS.org, 2013)We devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism. We study verification and adversarial ... -
The VERICLIG Project: extraction of Computer Interpretable Guidelines via syntactic and semantic annotation
(Association for Computational Linguistics, 2013)We consider the problem of extracting formal process representations of the therapies defined by clinical guidelines, viz., computer interpretable guidelines (CIGs), based on UMLS and semantic and syntactic annotation. CIGs ... -
Semantic DMN: Formalizing Decision Models with Domain Knowledge
(Springer, 2017)The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models. DMN builds on the notion of decision table, which consists of columns representing the inputs and ... -
Towards Data- and Norm-Aware Multiagent Systems
(Springer, 2016)We recall the key abstractions and models on which the major approaches to software specification rely, using Meyer’s forces of computation as dimensions of comparison. Based on the identified strengths and lacks, we ... -
Verification of context-sensitive Knowledge and Action Bases
(Springer, 2014)Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, ... -
Verification and synthesis in description logic based dynamic systems
(Springer, 2013)In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this ... -
Verification of relational data-centric dynamic systems with external services
(ACM Press and Addison Wesley, 2013)Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. We study verification of (first-order) μ-calculus variants over relational data-centric ...
