Giuseppe De Giacomo

TL;DR: MASTRO is a Java tool for ontology-based data access (OBDA) developed at Sapienza Universita di Roma and at the Free University of Bozen-Bolzano that provides optimized algorithms for answering expressive queries, as well as features for intensional reasoning and consistency checking.

TL;DR: This paper shows the surprising result that, when the global schema is expressed in the relational model with integrity constraints, even of simple types, the problem of incomplete information implicitly arises, making query processing difficult in the global-as-view approach as well.

TL;DR: In this article, the authors present Colombo, a framework in which web services are characterized in terms of the atomic processes (i.e., operations) they can perform; their impact on the real world (modeled as a relational database); their transition-based behavior; and the messages they can send and receive (from/to other web services and human clients).

TL;DR: Unlike OWL-S atomic processes, this work does not use a “pre-condition”, or equivalently, it assumes that the pre-condition is uniformly true, to enable a more uniform treatment of atomic process executions.