Lista de obras - Giuseppe De Giacomo - Dominio Público Uruguay

AI-augmented Business Process Management Systems: A Research Manifesto

artículo científico publicado en 2023

Adding DL-Lite TBoxes to Proper Knowledge Bases

artículo científico publicado en 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

artículo científico publicado en 2009

Conjunctive Artifact-Centric Services

Conjunctive query containment and answering under description logic constraints

Data complexity of query answering in description logics

artículo científico publicado en 2013

Data integration under integrity constraints

Decidable containment of recursive queries

Declarative Process Modeling in BPMN

artículo científico publicado en 2015

Foundations of Relational Artifacts Verification

Foundations of data-aware process analysis

artículo científico publicado en 2013

Goal-Based Composition of Stateful Services for Smart Homes

article

Inconsistency tolerance in P2P data integration: An epistemic logic approach

artículo científico publicado en 2008

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

artículo científico publicado en 2021

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

Linking Data to Ontologies

artículo científico publicado en 2008

Mastro studio

artículo científico publicado en 2013

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

artículo científico publicado en 2012

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

artículo científico publicado en 2014

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

artículo científico publicado en 2007

On simplification of schema mappings

Ontologies and Databases: The DL-Lite Approach

artículo científico publicado en 2009

Practical Update Management in Ontology-Based Data Access

artículo científico publicado en 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

artículo científico publicado en 2022

Tackling inconsistencies in data integration through source preferences

artículo científico publicado en 2004

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

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

artículo científico publicado en 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

artículo científico publicado en 2013

Verification of relational data-centric dynamic systems with external services

artículo científico publicado en 2013

Lista de obras de Giuseppe De Giacomo

AI-augmented Business Process Management Systems: A Research Manifesto

Adding DL-Lite TBoxes to Proper Knowledge Bases

An Automata-Theoretic Approach to Regular XPath

Artifact-Centric Workflow Dominance

ComposingWeb Services with Nondeterministic Behavior

Composition of Services with Nondeterministic Observable Behavior

Conceptual Modeling for Data Integration

Conjunctive Artifact-Centric Services

Conjunctive query containment and answering under description logic constraints

Data complexity of query answering in description logics

Data integration under integrity constraints

Decidable containment of recursive queries

Declarative Process Modeling in BPMN

Foundations of Relational Artifacts Verification

Foundations of data-aware process analysis

Goal-Based Composition of Stateful Services for Smart Homes

Inconsistency tolerance in P2P data integration: An epistemic logic approach

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

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

Linking Data to Ontologies

Mastro studio

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

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

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

On simplification of schema mappings

Ontologies and Databases: The DL-Lite Approach

Practical Update Management in Ontology-Based Data Access

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

Reasoning on UML class diagrams

Rewriting of Regular Expressions and Regular Path Queries

Simplifying schema mappings

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

Tackling inconsistencies in data integration through source preferences

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

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

Updating DL-Lite Ontologies Through First-Order Queries

Using OWL in Data Integration

Verification and Synthesis in Description Logic Based Dynamic Systems

Verification of relational data-centric dynamic systems with external services

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