- 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.
Technical report templates
MS Word and LaTeX templates for the KRDB Technical Reports are available here.
