pith. sign in

Diego Calvanese

Identifiers

  • name variant Diego Calvanese 0.60 · backfill

Papers (35)

  1. Agentic Business Process Management: A Research Manifesto cs.AI · 2026 · author #1
  2. Enriching Ontology-based Data Access with Provenance (Extended Version) cs.DB · 2019 · author #1
  3. Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version) cs.LO · 2019 · author #1
  4. Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN cs.LO · 2019 · author #1
  5. Modeling and In-Database Management of Relational, Data-Aware Processes (Extended Version) cs.DB · 2018 · author #1
  6. Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge cs.AI · 2018 · author #1
  7. Verification of Data-Aware Processes via Array-Based Systems (Extended Version) cs.LO · 2018 · author #1
  8. Quantifier Elimination for Database Driven Verification cs.LO · 2018 · author #1
  9. Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version) cs.DB · 2018 · author #4
  10. Cost-Driven Ontology-Based Data Access (Extended Version) cs.DB · 2017 · author #3
  11. Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) cs.DB · 2017 · author #5
  12. Metric Temporal Logic for Ontology-Based Data Access over Log Data cs.LO · 2017 · author #1
  13. Data Scaling in OBDA Benchmarks: The VIG Approach cs.DB · 2016 · author #3
  14. Expressivity and Complexity of MongoDB (Extended Version) cs.DB · 2016 · author #2
  15. Semantics and Analysis of DMN Decision Tables cs.SE · 2016 · author #1
  16. Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version) cs.AI · 2015 · author #2
  17. Fixpoint Node Selection Query Languages for Trees cs.DB · 2015 · author #1
  18. Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version) cs.AI · 2015 · author #1
  19. Adding Context to Knowledge and Action Bases cs.AI · 2014 · author #1
  20. Verification of Relational Multiagent Systems with Data Types (Extended Version) cs.AI · 2014 · author #1
  21. Verifiable UML Artifact-Centric Business Process Models (Extended Version) cs.DB · 2014 · author #1
  22. Managing Change in Graph-structured Data Using Description Logics (long version with appendix) cs.AI · 2014 · author #2
  23. Updating RDFS ABoxes and TBoxes in SPARQL cs.DB · 2014 · author #2
  24. Nested Regular Path Queries in Description Logics cs.LO · 2014 · author #2
  25. Reasoning about Explanations for Negative Query Answers in DL-Lite cs.AI · 2014 · author #1
  26. Description Logic Knowledge and Action Bases cs.AI · 2014 · author #2
  27. The DL-Lite Family and Relations cs.LO · 2014 · author #2
  28. Shape and Content: Incorporating Domain Knowledge into Shape Analysis cs.PL · 2013 · author #1
  29. Verification of Semantically-Enhanced Artifact Systems (Extended Version) cs.AI · 2013 · author #2
  30. Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version) cs.AI · 2013 · author #1
  31. Exchanging OWL 2 QL Knowledge Bases cs.AI · 2013 · author #3
  32. Verification of Relational Data-Centric Dynamic Systems with External Services cs.DB · 2012 · author #2
  33. View Synthesis from Schema Mappings cs.DB · 2010 · author #1
  34. Conjunctive Query Containment and Answering under Description Logics Constraints cs.DB · 2005 · author #1
  35. Data complexity of answering conjunctive queries over SHIQ knowledge bases cs.LO · 2005 · author #2

Mentions

  • 1504.08108 #1 · backfill · confidence 0.70 Diego Calvanese
  • 1412.7965 #1 · backfill · confidence 0.70 Diego Calvanese
  • 1411.4516 #1 · backfill · confidence 0.70 Diego Calvanese
  • 1408.5094 #1 · backfill · confidence 0.70 Diego Calvanese
  • 1404.4274 #2 · backfill · confidence 0.70 Diego Calvanese
  • 1403.7248 #2 · backfill · confidence 0.70 Diego Calvanese
  • 1402.7122 #2 · backfill · confidence 0.70 Diego Calvanese
  • 1402.0575 #1 · backfill · confidence 0.70 Diego Calvanese
  • 1402.0569 #2 · backfill · confidence 0.70 Diego Calvanese
  • 1401.3487 #2 · backfill · confidence 0.70 Diego Calvanese
  • 1312.6624 #1 · backfill · confidence 0.70 Diego Calvanese
  • 1308.6292 #2 · backfill · confidence 0.70 Diego Calvanese
  • 1304.6442 #1 · backfill · confidence 0.70 Diego Calvanese
  • 1304.5810 #3 · backfill · confidence 0.70 Diego Calvanese
  • 1203.0024 #2 · backfill · confidence 0.70 Diego Calvanese
  • 1003.1179 #1 · backfill · confidence 0.70 Diego Calvanese

Frequent Coauthors