Now showing items 1-10 of 10
Metric Temporal Logic for Ontology-Based Data Access over Log Data
(IJCAI Workshop 40, 2016)
We present a new metric temporal logic HornMTL over dense time and its datalog extension datalogMTL. The use of datalogMTL is demonstrated in the context of ontology-based data access over meteorological data. We show ...
Managing Change in Graph-structured Data Using Description Logics
In this paper, we consider the setting of graph-structured data (GSD) that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from deciding whether a ...
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL ...
Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures
The verification community has studied dynamic data structures primarily in a bottom-up way by analyzing pointers and the shapes induced by them. Recent work in fields such as separation logic has made significant progress ...
Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology
Process mining aims at discovering, monitoring, and improving business processes by extracting knowledge from event logs. In this respect, process mining can be applied only if there are proper event logs that are compatible ...
Ontology-Based Data Access and Integration
PODS 2015 General and Program Chairs' Welcome Message
It is our great pleasure to welcome you to the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2015), held in Melbourne, Victoria, Australia, on May 31 -- June 4, 2015, in conjunction with ...
First-order Ontology Mediated Database Querying via Query Reformulation
We address the problem of query answering with ontologies over databases. We consider first-order ontology systems playing the role of a conceptual model of a database represented as a classical finite relational store, ...
New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops
In the last few years, research on database and information system technologies has been rapidly evolving thanks to the new paradigms of software and hardware adopted by modern scientific and more invasive applications. A ...
Semantics, Analysis and Simplification of DMN Decision Tables
The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture ...