Search filters

List of works by Giuseppe De Giacomo

AI-augmented Business Process Management Systems: A Research Manifesto

scientific article published on 31 January 2023

Adding DL-Lite TBoxes to Proper Knowledge Bases

scientific article published at ISWC 2015

An Automata-Theoretic Approach to Regular XPath

Artifact-Centric Workflow Dominance

ComposingWeb Services with Nondeterministic Behavior

Composition of Services with Nondeterministic Observable Behavior

article

Conceptual Modeling for Data Integration

scientific article published in 2009

Conjunctive Artifact-Centric Services

Conjunctive query containment and answering under description logic constraints

Data complexity of query answering in description logics

scientific article published in February 2013

Data integration under integrity constraints

Decidable containment of recursive queries

Declarative Process Modeling in BPMN

scientific article published in 2015

Foundations of Relational Artifacts Verification

Foundations of data-aware process analysis

scientific article published in 2013

Goal-Based Composition of Stateful Services for Smart Homes

article

Inconsistency tolerance in P2P data integration: An epistemic logic approach

scientific article published in June 2008

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

scientific article published on 10 April 2021

Interestingness of Traces in Declarative Process Mining: The Janus LTLp$$_f$$ Approach

Linking Data to Ontologies

scientific article published in 2008

Mastro studio

scientific article published on 28 August 2013

Mastro: Ontology-Based Data Access at Work (Extended Abstract)

scientific article published in 2012

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

scientific article published in 2014

On reconciling data exchange, data integration, and peer data management

scientific article published in 2007

On simplification of schema mappings

Ontologies and Databases: The DL-Lite Approach

scientific article published in 2009

Practical Update Management in Ontology-Based Data Access

scientific article published in 2017

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

scholarly article by Giuseppe De Giacomo et al published 5 September 2015 in Studia Logica

Reasoning on UML class diagrams

Rewriting of Regular Expressions and Regular Path Queries

Simplifying schema mappings

article published in 2011

Situation calculus for controller synthesis in manufacturing systems with first-order state representation

scientific article published in 2022

Tackling inconsistencies in data integration through source preferences

scientific article published in 2004

The What-To-Ask Problem for Ontology-Based Peers

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

scientific article published on 20 July 2007

Updating DL-Lite Ontologies Through First-Order Queries

article published in 2016

Using OWL in Data Integration

Verification and Synthesis in Description Logic Based Dynamic Systems

scientific article published in 2013

Verification of relational data-centric dynamic systems with external services

scientific article published in 2013

View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness

View-based query answering in Description Logics: Semantics and complexity

View-based query processing: On the relationship between rewriting, answering and losslessness