Now showing items 1-8 of 8
Report on PODS 2015
OBDA with the Ontop Framework
Ontology-based data access (OBDA) has become a popular paradigm for accessing data stored in legacy sources using Semantic Web technologies. In the OBDA setting, users access the data through a conceptual layer, which ...
Verification of relational multiagent systems with data types
(AAAI Press, 2015)
We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific, rigid relations (such as total orders). ...
Proceedings of the 34th ACM SIGACT SIGMOD SIGAI Symposium on Principles of Database Systems (PODS 2015)
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 ...
Special Issue on Ontology-Based Data Access
The competitiveness of many enterprises today relies on exploiting the wealth of information that is available in various distributed data sources or services. Thus, the problem of integrating data coming from many distributed ...
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
The International Workshop on Description Logics is the main annual event of the Description Logic research community. It is the forum at which those interested in description logics, from both academia and industry, meet ...
Leveraging Relational Technology for Data-Centric Dynamic Systems
We base our work on a model called data-centric dynamic system (DCDS), which can be seen as a framework for modeling and verification of systems where both the process controlling the dynamics and the manipulation of data ...