Full name Familienname, Vorname
Calvanese, Diego
 

Results 1-20 of 28 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Martens, Wim ; Zeume, Thomas Verification of Evolving Graph-structured Data under Expressive Path ConstraintsKonferenzbeitrag Inproceedings 2016
2Ahmeti, Albin ; Calvanese, Diego ; Polleres, Axel ; Mika, Peter Updating RDFS ABoxes and TBoxes in SPARQLKonferenzbeitrag Inproceedings 2014
3Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila The Complexity of Explaining Negative Query Answers in DL-LiteKonferenzbeitrag Inproceedings 2012
4Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio ; Rosati, Riccardo ; Rudolph, Sebastian ; Zakharyaschev, Michael The Complexity of Conjunctive Query Abduction in DL-LiteKonferenzbeitrag Inproceedings 2011
5Ahmeti, Albin ; Calvanese, Diego ; Polleres, Axel ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS EntailmentKonferenzbeitrag Inproceedings 2014
6Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014
7Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014
8Calvanese, Diego ; Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Boutilier, Craig Regular Path Queries in Expressive Description Logics with NominalsKonferenzbeitrag Inproceedings 2009
9Calvanese, Diego ; Lukumbuzya, Sanja ; Montali, Marco ; Simkus, Mantas Process Mining with Common SenseKonferenzbeitrag Inproceedings 2021
10Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Planning Problems for Graph Structured Data in Description LogicsKonferenzbeitrag Inproceedings 2014
11Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Gottlob, Georg ; Perez, Jorge Planning and Change in Graph Structured Data under Description Logics ConstraintsKonferenzbeitrag Inproceedings 2014
12Bienvenu, Meghyn ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Gottlob, Georg ; Perez, Jorge Nested Regular Path Queries in Description Logics (Extended Abstract)Konferenzbeitrag Inproceedings 2014
13Bienvenu, Meghyn ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Baral, Chitta ; De Giacomo, Giuseppe ; Eiter, Thomas Nested Regular Path Queries in Description LogicsKonferenzbeitrag Inproceedings 2014
14Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Brodley, Carla E. ; Stone, Peter Managing Change in Graph-Structured Data Using Description LogicsKonferenzbeitrag Inproceedings 2014
15Calvanese, Diego ; Fischl, Wolfgang ; Pichler, Reinhard ; Sallinger, Emanuel ; Simkus, Mantas Expressive Identification Constraints to Capture Functional Dependencies in Description LogicsKonferenzbeitrag Inproceedings 2014
16Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Evolving Graph Databases under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2013
17Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas Data Complexoty of Query Answering In Expressive Description Logics via TableauxBericht Report2007
18Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas Data Complexity of Query Answering in Expressive Description Logics with NominalsBericht Report2006
19Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas ; Parsi, Bijan ; Sattler, Ulrike ; Toman, David Data Complexity of Answering Unions of Conjunctive Queries in SHIQKonferenzbeitrag Inproceedings 2006
20Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Eiter, Thomas ; Franconi, Enrico Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge BasesBericht Report2005

Results 1-17 of 17 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ngo, Nhung ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Calvanese, Diego ; Konev, Boris The Combined Complexity of Reasoning with Closed Predicates in Description LogicsKonferenzbeitrag Inproceedings 2015
2Pan, Jeff Z. ; Calvanese, Diego ; Eiter, Thomas ; Horrocks, Ian ; Kifer, Michael ; Lin, Fangzhen ; Zhao, Yuting Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query AnsweringKonferenzband Proceedings 2017
3Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano ; Fodor, Paul ; Montali, Marco ; Calvanese, Diego ; Roman, Dumitru Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASPKonferenzbeitrag Inproceedings 2019
4Ortiz Magdalena - 2010 - Query answering in expressive...pdf.jpgOrtiz, MagdalenaQuery answering in expressive description logics : techniques and complexity resultsThesis Hochschulschrift 2010
5Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Schockaert, Steven ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael Plausible Reasoning about EL-Ontologies using Concept InterpolationKonferenzbeitrag Inproceedings2020
6Ortiz, Magdalena ; Calvanese, Diego ; Iocchi, Luca Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite CaseKonferenzbeitrag Inproceedings 2019
7Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Gutowski, Albert ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael On Finite Entailment of Non-Local Queries in Description LogicsKonferenzbeitrag Inproceedings 2020
8Gottlob, Georg ; Pichler, Reinhard ; Sallinger, Emanuel ; Milo, Tova ; Calvanese, Diego Function Symbols in Tuple-Generating DependenciesKonferenzbeitrag Inproceedings 2015
9Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schindlauer, Roman ; Calvanese, Diego ; Franconi, Enrico ; Haarslev, Volker ; Lembo, Domenico ; Motik, Boris ; Turhan, Anni-Yasmin ; Tessaris, Sergio Exploiting Conjunctive Queries in Description Logic Programs.Konferenzbeitrag Inproceedings 2007
10Barcelo, Pablo ; Pichler, Reinhard ; Skritek, Sebastian ; Milo, Tova ; Calvanese, Diego Efficient Evaluation and Approximation of Well-designed Pattern TreesKonferenzbeitrag Inproceedings 2015
11Ahmetaj, Shqiponja ; Fischl, Wolfgang ; Pichler, Reinhard ; Simkus, Mantas ; Skritek, Sebastian ; Calvanese, Diego ; Konev, Boris DL-Lite and Conjunctive Queries Extended by Optional MatchingKonferenzbeitrag Inproceedings 2015
12Alviano, Mario ; Pieris, Andreas ; Milo, Tova ; Calvanese, Diego Default Negation for Non-Guarded Existential RulesKonferenzbeitrag Inproceedings 2015
13Gogacz, Tomasz ; Lukumbuzya, Sanja ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael Datalog Rewritability and Data Complexity of ALCHOIF with Closed PredicatesKonferenzbeitrag Inproceedings 2020
14Calautti, Marco ; Gottlob, Georg ; Pieris, Andreas ; Milo, Tova ; Calvanese, Diego Chase Termination for Guarded Existential RulesKonferenzbeitrag Inproceedings 2015
15Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael An ExpTime Upper Bound for ALC with IntegersKonferenzbeitrag Inproceedings 2020
16Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkKonferenzbeitrag Inproceedings 2020
17Saribatur, Zeynep G. ; Eiter, Thomas ; Calvanese, Diego ; Erdem, Esra A Semantic Perspective on Omission Abstraction in ASPKonferenzbeitrag Inproceedings 2020