Now showing items 1-10 of 112
Knowledge Base Exchange: The Case of OWL 2 QL
In this article, we define and study the problem of exchanging knowledge between a source and a target knowledge base (KB), connected through mappings. Differently from the traditional database exchange setting, which ...
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 ...
Ontology-based integration of cross-linked datasets
In this paper we tackle the problem of answering SPARQL queries over virtually integrated databases. We assume that the entity resolution problem has already been solved and explicit information is available about which ...
Ontology-Driven Extraction of Event Logs from Relational Databases
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
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 ...
Synthesizing and Executing Plans in Knowledge and Action Bases
(CEUR Electronic Workshop Proceedings, 2016)
We study plan synthesis for a variant of Knowledge and Action Bases (KABs). KABs have been recently introduced as a rich, dynamic framework where states are full-fledged description logic (DL) knowledge bases (KBs) whose ...
The NPD benchmark: Reality check for OBDA systems
In the last decades we moved from a world in which an enterprise had one central database - rather small for todays' standards - to a world in which many different - and big - databases must interact and operate, providing ...
Report on PODS 2015
Towards Data- and Norm-Aware Multiagent Systems
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 ...