Now showing items 21-40 of 141

    • Description logic Knowledge and Action Bases 

      Bagheri Hariri B; Calvanese D; Montali M; De Giacomo G; De Masellis R; Felli P ({AAAI} Press/The {MIT} Press, 2013)
      Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions ...
    • Digital Libraries on the Move: 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers Digital Libraries on the Move: 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers 

      Calvanese D; De Nart D; Tasso C (Springer International Publishing, 2016)
      This book constitutes the thoroughly refereed proceedings of the 11th Italian Research Conference on Digital Libraries, IRCDL 2015, held in Bozen-Bolzano, Italy, in January 2015. The 13 full papers, 4 short papers and 2 ...
    • Dynamic systems based on description logics: formalization, verification, and synthesis 

      Calvanese D; De Giacomo G; Montali M; Patrizi F (CEUR-WS.org, 2013)
      We devise a general framework for formalizing Dynamic Systems centered around a Description Logic knowledge base. Our framework is parametric w.r.t. both the description logic and the progression mechanism. For such kinds ...
    • Efficient Handling of SPARQL OPTIONAL for OBDA 

      Xiao G; Kontchakov R; Cogrel B; Calvanese D; Botoeva E (Springer, 2018)
      OPTIONAL is a key feature in SPARQL for dealing with missing information. While this operator is used extensively, it is also known for its complexity, which can make it a challenge to evaluate queries with OPTIONAL ...
    • Efficient Ontology-Based Data Integration with Canonical IRIs 

      Xiao G; Hovland D; Bilidas D; Rezk M; Giese M; Calvanese D (Springer, 2018)
      In this paper, we study how to efficiently integrate multiple relational databases using an ontology-based approach. In ontology-based data integration (OBDI) an ontology provides a coherent view of multiple databases, and ...
    • Evaluating SPARQL-to-SQL Translation in ontop 

      Rodriguez-Muro M; Rezk M; Hardi J; Slusnys M; Bagosi T; Calvanese D (CEUR Electronic Workshop Proceedings, 2013)
      In this paper we evaluate the performance of the SQL queries generated by ontop, a system that uses a formal approach to translate and optimize SPARQL queries and R2RML mappings. We show that the performance of ontop's SQL ...
    • An Evaluation of VIG with the BSBM Benchmark 

      Lanti D; Xiao G; Calvanese D (CEUR-WS, 2016)
      We present an experimental evaluation of VIG, a data scaler for OBDA benchmarks. Data scaling is a relatively recent approach, proposed in the database community, that allows for scaling an input data instance to s times ...
    • Evolving Graph Databases under Description Logic Constraints 

      Calvanese D; Ortiz M; Simkus M (CEUR Electronic Workshop Proceedings, 2013)
      In the setting of graph-structured data, description logics are well suited to impose constraints that capture the semantics of the domain of interest. When the data evolves as a result of operations carried out by users ...
    • Exchanging OWL 2 QL Knowledge Bases 

      Arenas M; Botoeva E; Calvanese D; Ryzhikov V (AAAI Press, 2013)
      Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a ...
    • Expressive approximations in DL-Lite ontologies 

      Botoeva E; Calvanese D; Rodriguez-Muro M (Springer, 2010)
      Ontology based data access (OBDA) is concerned with providing access to typically very large data sources through a mediating conceptual layer that allows one to improve answers to user queries by taking into account domain ...
    • Expressivity and Complexity of MongoDB Queries 

      Botoeva E; Calvanese D; Cogrel B; Xiao G (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018)
      In this paper, we consider MongoDB, a widely adopted but not formally understood database system managing JSON documents and equipped with a powerful query mechanism, called the aggregation framework. We provide a clean ...
    • Extending DL-LiteA with (Singleton) Nominals 

      Haddad MG; Calvanese D (CEUR Electronic Workshop Proceedings, 2013)
      In this paper we study the extension of description logics of the extit{DL-Lite} family with singleton nominals, which correspond in OWL~2 to the ObjectHasValue construct. Differently from arbitrary (non-singleton) nominals, ...
    • Fast and Simple Data Scaling for OBDA Benchmarks 

      Lanti D; Xiao G; Calvanese D (CEUR-WS, 2016)
      In this paper we describe VIG, a data scaler for OBDA benchmarks. Data scaling is a relatively recent approach, proposed in the database community, that allows for quickly scaling an input data instance to $n$ times its ...
    • Finite model reasoning on UML class diagrams via constraint programming 

      Cadoli M; Calvanese D; De Giacomo G; Mancini T (Springer, 2007)
      Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ...
    • Finite Model Reasoning on UML Class Diagrams via Constraint Programming 

      Cadoli M; Calvanese D; De Giacomo G; Mancini T (2013)
      Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ...
    • First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus 

      Calvanese D; De Giacomo G; Montali M; Patrizi F (2018)
      We consider muL, muLa, and muLp, three variants of the first-order mu-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics ...
    • First-order Ontology Mediated Database Querying via Query Reformulation 

      Calvanese D; Franconi E (Springer, 2018)
      We address the problem of query answering with ontologies over databases. We consider first-order ontology systems playing the role of a conceptual model of a database represented as a classical finite relational store, ...
    • A formal framework for reasoning on UML class diagrams 

      Calì A; Calvanese D; De Giacomo G; Lenzerini M (Springer, 2002)
      In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been thoroughly investigated in Knowledge Representation. The logic we ...
    • Formalization and Complexity of MongoDB Queries (Extended Abstract) 

      Botoeva E; Calvanese D; Cogrel B; Xiao G (CEUR-WS, 2018)
      In this paper, we study MongoDB, a widely adopted but not formally understood database system managing JSON documents and equipped with a powerful query mechanism, called the aggregation framework.  We define its formal ...
    • Formalizing MongoDB Queries 

      Botoeva E; Calvanese D; Cogrel B; Xiao G (CEUR-WS.org, 2017)
      In this paper, we report on our ongoing work in which we formalize MongoDB, a widely adopted document database system managing complex (tree structured) values represented in a JSON-based data model, equipped with a powerful ...