Search Results for author: Diego Calvanese

Found 22 papers, 1 papers with code

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)

no code implementations27 Aug 2021 Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of so-called artifact-centric systems.

Mapping Patterns for Virtual Knowledge Graphs

no code implementations3 Dec 2020 Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga

Virtual Knowledge Graphs (VKG) constitute one of the most promising paradigms for integrating and accessing legacy data sources.

Knowledge Graphs

Counting Query Answers over a DL-Lite Knowledge Base (extended version)

no code implementations12 May 2020 Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski

Counting answers to a query is an operation supported by virtually all database management systems.

On Expansion and Contraction of DL-Lite Knowledge Bases

no code implementations25 Jan 2020 Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese

Moreover, we show that well-known formula-based approaches are also not appropriate for DL-Lite expansion and contraction: they either have a high complexity of computation, or they produce logical theories that cannot be expressed in DL-Lite.

Enriching Ontology-based Data Access with Provenance (Extended Version)

no code implementations1 Jun 2019 Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Penaloza, Guohui Xiao

In particular, we investigate the problems of (i) deciding whether a provenance annotated OBDA instance entails a provenance annotated conjunctive query, and (ii) computing a polynomial representing the provenance of a query entailed by a provenance annotated OBDA instance.

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

no code implementations31 Jul 2018 Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali

The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes.

Data Scaling in OBDA Benchmarks: The VIG Approach

1 code implementation21 Jul 2016 Davide Lanti, Guohui Xiao, Diego Calvanese

The advantage of the approach is that the user is not required to manually input the characteristics of the data to be produced, making it particularly suitable for OBDA benchmarks, where the complexity of database schemas might pose a challenge for manual input (e. g., the NPD benchmark contains 70 tables with some containing more than 60 columns).

Databases

Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version)

no code implementations26 Nov 2015 Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao

Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings.

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)

no code implementations30 Apr 2015 Diego Calvanese, Marco Montali, Ario Santoso

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 introducing new objects.

Adding Context to Knowledge and Action Bases

no code implementations26 Dec 2014 Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso

Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution.

Verification of Relational Multiagent Systems with Data Types (Extended Version)

no code implementations17 Nov 2014 Diego Calvanese, Giorgio Delzanno, Marco Montali

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).

Managing Change in Graph-structured Data Using Description Logics (long version with appendix)

no code implementations16 Apr 2014 Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

In this paper, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications.

Nested Regular Path Queries in Description Logics

no code implementations28 Feb 2014 Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data.

Description Logic Knowledge and Action Bases

no code implementations4 Feb 2014 Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information over time, possibly introducing new objects.

Reasoning about Explanations for Negative Query Answers in DL-Lite

no code implementations4 Feb 2014 Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni

In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services.

The DL-Lite Family and Relations

no code implementations15 Jan 2014 Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms, on the other.

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

no code implementations28 Aug 2013 Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

In this setting, we present a technique to specify temporal properties expressed over the Semantic Layer, and verify them according to the evolution in the underlying GSM model.

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

no code implementations23 Apr 2013 Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects.

Exchanging OWL 2 QL Knowledge Bases

no code implementations21 Apr 2013 Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov

Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping.

Cannot find the paper you are looking for? You can Submit a new open access paper.