Lista de obras -

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

artículo científico publicado en 2014

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime

artículo científico publicado en 2014

Complexity of Reasoning over Temporal Data Models

artículo científico publicado en 2010

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

artículo científico publicado en 2009

DL − Lite and Role Inclusions

Games for query inseparability of description logic knowledge bases

artículo científico publicado en 2016

Logic-based ontology comparison and module extraction, with an application to DL-Lite

artículo científico publicado en 2010

On the Computational Complexity of Spatial Logics with Connectedness Constraints

artículo científico publicado en 2008

On the succinctness of query rewriting over shallow ontologies

artículo científico publicado en 2014

Ontology-Based Data Access to Slegge

artículo científico publicado en 2017

Ontology-Based Data Access with Databases: A Short Course

artículo científico publicado en 2013

Ontology-Based Data Access: Ontop of Databases

artículo científico publicado en 2013

Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies

artículo científico publicado en 2011

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

artículo científico publicado en 2014

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

artículo científico publicado en 2011

The Complexity of Clausal Fragments of LTL

artículo científico publicado en 2013

The price of query rewriting in ontology-based data access

Topological Logics with Connectedness over Euclidean Spaces

artículo científico publicado en 2013

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables

artículo científico publicado en 2005

Lista de obras de

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime

Complexity of Reasoning over Temporal Data Models

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

DL − Lite and Role Inclusions

Games for query inseparability of description logic knowledge bases

Logic-based ontology comparison and module extraction, with an application to DL-Lite

On the Computational Complexity of Spatial Logics with Connectedness Constraints

On the succinctness of query rewriting over shallow ontologies

Ontology-Based Data Access to Slegge

Ontology-Based Data Access with Databases: A Short Course

Ontology-Based Data Access: Ontop of Databases

Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

The Complexity of Clausal Fragments of LTL

The price of query rewriting in ontology-based data access

Topological Logics with Connectedness over Euclidean Spaces

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables

Undecidability of the unification and admissibility problems for modal and description logics