Search
Now showing items 11-20 of 41
-
Verification of Inconsistency-Aware Knowledge and Action Bases
(CEUR-WS.org, 2013)Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism to evolve a DL KB over time by means of actions that may acquire new information from the external environment. Decidability ... -
OBDA for Log Extraction in Process Mining
(Springer, 2017)Process mining is an emerging area that synergically combines model-based and data-oriented analysis techniques to obtain useful insights on how business processes are executed within an organization. Through process mining, ... -
Semantic DMN: Formalizing Decision Models with Domain Knowledge (Extended Abstract)
(CEUR Electronic Workshop Proceedings, 2017) -
The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access
(CEUR-WS.org, 2017)Process mining techniques require the input data to be explicitly structured in the form of an event log. Unfortunately, in many real world settings, such event logs are not explicitly given, but they are implicitly stored ... -
Verification of Description Logic Knowledge and Action Bases
(Amsterdam, 2012)We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions ... -
Verification of generalized inconsistency-aware knowledge and action bases
(AAAI Press, 2015)Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly ... -
Description logic based dynamic systems: Modeling, verification, and synthesis
(AAAI Press, 2015)We study the data complexity of answering conjunctive queries over Description Logic knowledge bases constituted by a TBox and an ABox. In particular, we are interested in characterizing the FO-rewritability and the ... -
Plan synthesis for knowledge and action bases
(AAAI Press, 2016)We study plan synthesis for a variant of Knowledge and Action Bases (KABs), a rich, dynamic framework, where states are description logic (DL) knowledge bases (KBs) whose extensional part is manipulated by actions that ... -
Ontology-Driven Extraction of Event Logs from Relational Databases
(Springer, 2015)Process mining is an emerging discipline whose aim is to discover, monitor and improve real processes by extracting knowledge from event logs representing actual process executions in a given organizational setting. In ... -
Semantics and analysis of DMN decision tables
(Springer, 2016)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 of a decision table. The ...