Diego Calvanese

Available identifiers

zbMath Open calvanese.diegoWikidataQ57193328 ScholiaQ57193328MaRDI QIDQ309908

List of research outcomes

Publication	Date of Publication	Type
Designing efficient controlled languages for ontologies	2024-03-25	Paper
Combined covers and Beth definability	2022-11-09	Paper
Combination of uniform interpolants via Beth definability	2022-10-24	Paper
Semantic DMN: Formalizing Decision Models with Domain Knowledge	2022-07-01	Paper
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)	2021-11-24	Paper
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge	2021-09-03	Paper
SMT-based verification of data-aware processes: a model-theoretic approach	2020-12-08	Paper
Expressivity and Complexity of MongoDB Queries	2020-08-06	Paper
The what-to-ask problem for ontology-based peers	2020-06-04	Paper
From model completeness to verification of data aware processes	2020-06-04	Paper
Model completeness, covers and superposition	2020-03-10	Paper
Managing Change in Graph-Structured Data Using Description Logics	2018-03-22	Paper
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5276195	2017-07-14	Paper
Conjunctive query containment and answering under description logic constraints	2017-07-12	Paper
Knowledge base exchange: the case of OWL 2 QL	2016-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q5740438	2016-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q3455605	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3457205	2015-12-11	Paper
Query Answering over Description Logic Ontologies	2015-01-14	Paper
Verification of Context-Sensitive Knowledge and Action Bases	2015-01-14	Paper
Answering regular path queries in expressive description logics via alternating tree-automata	2014-07-18	Paper
On simplification of schema mappings	2014-01-20	Paper
Capturing model-based ontology evolution at the instance level: the case of DL-Lite	2014-01-20	Paper
Reasoning about Explanations for Negative Query Answers in DL-Lite	2013-11-28	Paper
Data complexity of query answering in description logics	2013-08-26	Paper
Description Logic Knowledge and Action Bases	2013-05-02	Paper
Tractability and intractability of controlled languages for data access	2012-12-04	Paper
View-based query answering in description logics: semantics and complexity	2012-05-11	Paper
The Data Complexity of the Syllogistic Fragments of English	2010-10-12	Paper
The DL-Lite Family and Relations	2009-12-10	Paper
Ontologies and Databases: The DL-Lite Approach	2009-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q3639039	2009-10-28	Paper
Conceptual Modeling for Data Integration	2009-07-09	Paper
Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies	2009-01-22	Paper
Data complexity of query answering in expressive description logics via tableaux	2008-09-10	Paper
Linking Data to Ontologies	2008-03-06	Paper
Tractable reasoning and efficient query answering in description logics: The DL-Lite family	2007-12-03	Paper
Reasoning on UML class diagrams	2007-10-23	Paper
View-based query processing: on the relationship between rewriting, answering and losslessness	2007-03-12	Paper
Database Programming Languages	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5714249	2005-12-28	Paper
Database Theory - ICDT 2005	2005-09-13	Paper
Decidable containment of recursive queries	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q3045452	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046903	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473479	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4414545	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4408081	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4707758	2003-06-11	Paper
Rewriting of regular expressions and regular path queries	2002-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q2751375	2001-10-21	Paper
Representing and reasoning on XML documents: a description logic approach	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4264772	1999-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4400805	1998-08-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Diego Calvanese