KRDB Technical Reports series

• 2019
  • Alessandro Artale, Andrea Mazzullo, Ana Ozaki. Do You Need Infinite Time? (Technical Report). KRDB Research Centre Technical Report KRDB19-01, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 2019.
  • Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao. Enriching Ontology-based Data Access with Provenance (Technical Report). KRDB Research Centre Technical Report KRDB19-02, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. June 2019.
•  2018
  • Julien Corman, Evgeny Kharlamov, Ognjen Savković, and Steffen Lamparter. SHACL Constraint Validation over Ontology-enhanced KGs via Rewriting (Technical Report).  KRDB Research Centre Technical Report KRDB18-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. December 2018.
  • Camille Bourgaux, Ana Ozaki Querying Attributed DL-Lite Ontologies using Provenance Semirings. KRDB Research Centre Technical Report KRDB18-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. November 2018.
  • Julien Corman, Juan L. Reutter, Ognjen Savkovic
    Semantics and Validation of Recursive SHACL
    (Technical Report).  KRDB Research Centre Technical Report KRDB18-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2018.
•  2016
  • Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, and Sergio Tessaris. RAW-SYS a Practical Framework for Data-aware Business Process Verification (Technical Report). KRDB Research Centre Technical Report KRDB16-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2016.
• 2015
  • Ognjen Savković, Elisa Marengo, and Werner Nutt. Query Stability in Data-aware Business Processes (Technical Report). KRDB Research Centre Technical Report KRDB15-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. June 2015.
• 2013
  • Sergey Paramonov. Query Completeness—A Logic Programming Approach. KRDB Research Centre Technical Report KRDB13-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2013.
  • Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version). KRDB Research Centre Technical Report KRDB13-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2013.
  • Alessandra Melonio and Rosella Gennari. Co-Design with children: the State of the Art. KRDB Research Centre Technical Report KRDB13-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. January 2013.
• 2012
  • Dmitry Solomakhin, Marco Montali, and Sergio Tessaris. Formalizing Guard-Stage-Milestone meta-models as Data-Centric Dynamic Systems. KRDB Research Centre Technical Report KRDB12-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. December 2012.
  • Enrico Franconi, Alessandro Mosca The formalisation of ORM2 and its encoding in OWL2. KRDB Research Centre Technical Report KRDB12-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2012.
  • Paolo Guagliardo, Enrico Franconi. On the translatability of view updates. KRDB Research Centre Technical Report KRDB12-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2012.
• 2011
  • Evgeny Kharlamov, Dmitry Zheleznyakov. Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite (Extended Version). KRDB Research Centre Technical Report KRDB11-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2011.
  • Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Dmitriy Zheleznyakov. Evolution of DL-Lite Knowledge Bases (Extended Version). KRDB Research Centre Technical Report KRDB11-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2011.
  • Simon Razniewski, Werner Nutt. Checking Query Completeness over Incomplete Data. KRDB Research Centre Technical Report KRDB11-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2011.
  • Evgeny Kharlamov, Werner Nutt, Pierre Senellart. Value Joins are Expensive over (Probabilistic) XML. Extended Version. KRDB Research Centre Technical Report KRDB11-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 2011.
• 2010
  • Marco Trevisan. A Portable Menu-guided Natural Language Interface to Knowledge Bases for Querytool. KRDB Research Centre Technical Report KRDB10-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. January 2010.
  • Ngo Thi Phuong Nhung. Extended theoretical foundations for QUELO framework. KRDB Research Centre Technical Report KRDB10-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 2010.
  • Ngo Thi Phuong Nhung. Techniques for query rewriting based on interpolation. KRDB Research Centre Technical Report KRDB10-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 2010.
  • Manuel Kirschner. The BoB Dialogue Corpus. KRDB Research Centre Technical Report KRDB10-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. September 2010.
  • T. Di Mascio, R. Gennari, I. Lang and P. Vittorini. Visual Tools for Annotating Temporal Expressions with TimeML: a Critical Overview. KRDB Research Centre Technical Report KRDB10-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. September 2010.
  • C. Maria Keet. An empirical assessment of the use of foundational ontologies in ontology development. KRDB Research Centre Technical Report KRDB10-6, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. December 2010.
• 2009
  • • Barbara Arfé, Rosella Gennari and Ornella Mich. Before, While and After with LODE and Hearing Novice Readers. KRDB Research Centre Technical Report KRDB09-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. January 30, 2009.
    • C. Maria Keet. Constraints for representing transforming entities in bio-ontologies. KRDB Research Centre Technical Report KRDB09-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 22, 2009.
  • Lina Lubyte and Sergio Tessaris. Supporting the Design of Ontologies for Semantic Data Access. KRDB Research Centre Technical Report KRDB09-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 22, 2009.
  • Rosella Gennari, Tania Di Mascio and Giovanni De Gasperis. A Short Travel Through Time for Novice Readers: Representation, Reasoning and Visualisation. KRDB Research Centre Technical Report KRDB09-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 11, 2009.
  • Paolo Guagliardo. Theoretical Foundations of an Ontology-based Visual Tool for Query Formulation Support. KRDB Research Centre Technical Report KRDB09-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. October 2009.
  • Marco Trevisan. A Graphical User Interface for Querytool. KRDB Research Centre Technical Report KRDB09-6, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. October 2009.
  • Laura H. Perez. Intelligent query interface: adding natural language support. KRDB Research Centre Technical Report KRDB09-7, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2009.
• 2008
  • Ornella Mich. Constraint-based Temporal Reasoning and E-Learning Tools for Deaf Users. A Literature Review. KRDB Research Centre Technical Report KRDB08-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Feb 13, 2008.
  • Alexander Borgida, Diego Calvanese, and Mariano Rodriguez-Muro. Explanation in DL-Lite. KRDB Research Centre Technical Report KRDB08-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Feb 18, 2008.
  • Paolo Dongilli Natural Language Rendering of a Conjunctive Query. KRDB Research Centre Technical Report KRDB08-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Jun 16, 2008.
  • Rosella Gennari and Ornella Mich Global Temporal Reasoning on Stories with LODE: a Logic-basedE-tool forDeaf Childrenen. KRDB Research Centre Technical Report KRDB08-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Jun 21, 2008.
  • Camilo Thorne. Equivalence of Aggregate Queries with Incomplete Information and Dependencies. KRDB Research Centre Technical Report KRDB08-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 1, 2008.
  • Raffaella Bernardi, Diego Calvanese, Camilo Thorne. Querying Structured Data with Lite Natural Language. KRDB Research Centre Technical Report KRDB08-6, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 1, 2008.
  • Camilo Thorne. Expressive Power of DL-Lite (II). KRDB Research Centre Technical Report KRDB08-7, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 1, 2008.
• 2007
  • C. Thorne. Controlled English for DL-Lite. KRDB Research Centre Technical Report KRDB07-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 1, 2007.
  • C.M. Keet. Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd. KRDB Research Centre Technical Report KRDB07-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 15, 2007.
  • R. Gennari and O. Mich. LODE: A Logic-based E-learning Tool for Deaf Children. KRDB Research Centre Technical Report KRDB07-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 28, 2007.
  • L. Lubyte and S. Tessaris. Extracting Ontologies from Relational Databases. KRDB Research Centre Technical Report KRDB07-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 28, 2007.
  • C.M. Keet and M. Rodriguez. Comprehensiveness versus Scalability: guidelines for choosing an appropriate knowledge representation language for bio-ontologies. KRDB Research Centre Technical Report KRDB07-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 9, 2007.
  • Chiara Ghidini, Luciano Serafini and Sergio Tessaris. On relating heterogeneous elements from different ontologies. KRDB Research Centre Technical Report KRDB07-06, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 10, 2007.
• 2006
  • C.M. Keet. Granular information retrieval from the Gene Ontology and from the Foundational Model of Anatomy with OQAFMA, KRDB Research Centre Technical Report KRDB06-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 6, 2006.
  • C.M. Keet. A formal approach for using granularity in the subject domain of infectious diseases. KRDB Research Centre Technical Report KRDB06-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 26, 2006.
  • C.M. Keet. Introduction to part-whole relations: mereology, conceptual modelling and mathematical aspects. KRDB Research Centre Technical Report KRDB06-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. October 2, 2006.

MS Word and LaTeX templates for the KRDB Technical Reports are available here.