The following pages link to Diego Calvanese (Q309908):
Displaying 50 items.
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Data complexity of query answering in description logics (Q360130) (← links)
- On simplification of schema mappings (Q389226) (← links)
- Capturing model-based ontology evolution at the instance level: the case of DL-Lite (Q389229) (← links)
- View-based query answering in description logics: semantics and complexity (Q414845) (← links)
- Decidable containment of recursive queries (Q555766) (← links)
- Tractability and intractability of controlled languages for data access (Q692195) (← links)
- Rewriting of regular expressions and regular path queries (Q696951) (← links)
- View-based query processing: on the relationship between rewriting, answering and losslessness (Q870266) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- The what-to-ask problem for ontology-based peers (Q2185466) (← links)
- From model completeness to verification of data aware processes (Q2185467) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
- Reasoning in expressive description logics (Q2751375) (← links)
- Reasoning about explanations for negative query answers in \textit{DL-Lite} (Q2865013) (← links)
- Query Answering over Description Logic Ontologies (Q2938480) (← links)
- Verification of Context-Sensitive Knowledge and Action Bases (Q2938518) (← links)
- (Q3045452) (← links)
- (Q3046903) (← links)
- Expressivity and Complexity of MongoDB Queries (Q3305353) (← links)
- (Q3455605) (← links)
- (Q3457205) (← links)
- Conceptual Modeling for Data Integration (Q3637334) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- (Q3639039) (← links)
- The DL-Lite Family and Relations (Q3651482) (← links)
- Representing and reasoning on XML documents: a description logic approach (Q4260084) (← links)
- (Q4264772) (← links)
- (Q4400805) (← links)
- (Q4408081) (← links)
- (Q4414545) (← links)
- (Q4473479) (← links)
- Managing Change in Graph-Structured Data Using Description Logics (Q4608716) (← links)
- (Q4707758) (← links)
- Description Logic Knowledge and Action Bases (Q4917617) (← links)
- The Data Complexity of the Syllogistic Fragments of English (Q4933252) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- Semantic DMN: Formalizing Decision Models with Domain Knowledge (Q5086206) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- (Q5276195) (← links)
- Conjunctive query containment and answering under description logic constraints (Q5277811) (← links)
- Database Theory - ICDT 2005 (Q5316604) (← links)
- Linking Data to Ontologies (Q5445729) (← links)
