{"id":818,"date":"2024-03-22T17:14:45","date_gmt":"2024-03-22T16:14:45","guid":{"rendered":"https:\/\/www.inf.unibz.it\/krdb\/?page_id=818"},"modified":"2024-03-23T00:43:23","modified_gmt":"2024-03-22T23:43:23","slug":"krdb-technical-reports-series","status":"publish","type":"page","link":"https:\/\/www.inf.unibz.it\/krdb\/krdb-technical-reports-series\/","title":{"rendered":"KRDB Technical Reports series"},"content":{"rendered":"<ul>\n<li>2019\n<ul>\n<li>Alessandro Artale, Andrea Mazzullo, Ana Ozaki.<a href=\"\/krdb\/wp-content\/KRDB%20files\/tech-reports\/KRDB19-01.pdf\" target=\"_blank\" rel=\"noopener\"> Do You Need Infinite Time? (Technical Report)<\/a>. KRDB Research Centre Technical Report KRDB19-01, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 2019.<\/li>\n<li>Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Pe\u00f1aloza, Guohui Xiao. <a href=\"\/krdb\/wp-content\/KRDB%20files\/tech-reports\/KRDB19-02.pdf\" target=\"_blank\" rel=\"noopener\">Enriching Ontology-based Data Access with Provenance (Technical Report)<\/a>. KRDB Research Centre Technical Report KRDB19-02, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. June 2019.<\/li>\n<\/ul>\n<\/li>\n<li>&nbsp;2018\n<ul>\n<li>Julien Corman, Evgeny Kharlamov, Ognjen Savkovi\u0107, and Steffen Lamparter.<a href=\"\/krdb\/wp-content\/KRDB%20files\/tech-reports\/KRDB18-03.pdf\" target=\"_blank\" rel=\"noopener\"> SHACL Constraint Validation over Ontology-enhanced KGs via Rewriting&nbsp;(Technical Report).<\/a>&nbsp; KRDB Research Centre Technical Report KRDB18-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. December 2018.<\/li>\n<\/ul>\n<ul>\n<li>Camille Bourgaux, Ana Ozaki <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB18-02.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Querying Attributed DL-Lite Ontologies using Provenance Semirings<\/a>. KRDB Research Centre Technical Report KRDB18-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. November 2018.<\/li>\n<li>Julien Corman, Juan L. Reutter, Ognjen Savkovic<br \/>\n<a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB18-01.pdf\" target=\"_blank\" rel=\"noopener\">Semantics and Validation of Recursive SHACL<\/a><br \/>\n(Technical Report).&nbsp; KRDB Research Centre Technical Report KRDB18-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2018.<\/li>\n<\/ul>\n<\/li>\n<li>&nbsp;2016\n<ul>\n<li id=\"KRDB16-01\">Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, and Sergio Tessaris. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB16-01.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">RAW-SYS a Practical Framework for Data-aware Business Process Verification (Technical Report)<\/a>. KRDB Research Centre Technical Report KRDB16-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2016.<\/li>\n<\/ul>\n<\/li>\n<li>2015\n<ul>\n<li>Ognjen Savkovi\u0107, Elisa Marengo, and Werner Nutt. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB15-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Query Stability in Data-aware Business Processes (Technical Report)<\/a>. KRDB Research Centre Technical Report KRDB15-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. June 2015.<\/li>\n<\/ul>\n<\/li>\n<li>2013\n<ul>\n<li>Sergey Paramonov. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB13-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Query Completeness\u2014A Logic Programming Approach<\/a>. KRDB Research Centre Technical Report KRDB13-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2013.<\/li>\n<li>Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB13-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)<\/a>. KRDB Research Centre Technical Report KRDB13-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2013.<\/li>\n<li>Alessandra Melonio and Rosella Gennari. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB13-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Co-Design with children: the State of the Art<\/a>. KRDB Research Centre Technical Report KRDB13-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. January 2013.<\/li>\n<\/ul>\n<\/li>\n<li>2012\n<ul>\n<li>Dmitry Solomakhin, Marco Montali, and Sergio Tessaris. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB12-4.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Formalizing Guard-Stage-Milestone meta-models as Data-Centric Dynamic Systems<\/a>. KRDB Research Centre Technical Report KRDB12-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. December 2012.<\/li>\n<li>Enrico Franconi, Alessandro Mosca <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB12-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">The formalisation of ORM2 and its encoding in OWL2<\/a>. KRDB Research Centre Technical Report KRDB12-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2012.<\/li>\n<li>Paolo Guagliardo, Enrico Franconi. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB12-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">On the translatability of view updates<\/a>. KRDB Research Centre Technical Report KRDB12-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2012.<\/li>\n<\/ul>\n<\/li>\n<li>2011\n<ul>\n<li>Evgeny Kharlamov, Dmitry Zheleznyakov. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB11-4.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite (Extended Version)<\/a>. KRDB Research Centre Technical Report KRDB11-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2011.<\/li>\n<li>Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Dmitriy Zheleznyakov. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB11-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Evolution of <em>DL-Lite<\/em> Knowledge Bases (Extended Version)<\/a>. KRDB Research Centre Technical Report KRDB11-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2011.<\/li>\n<li>Simon Razniewski, Werner Nutt. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB11-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Checking Query Completeness over Incomplete Data<\/a>. KRDB Research Centre Technical Report KRDB11-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 2011.<\/li>\n<li>Evgeny Kharlamov, Werner Nutt, Pierre Senellart. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB11-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Value Joins are Expensive over (Probabilistic) XML. Extended Version<\/a>. KRDB Research Centre Technical Report KRDB11-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 2011.<\/li>\n<\/ul>\n<\/li>\n<li>2010\n<ul>\n<li>Marco Trevisan. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB10-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">A Portable Menu-guided Natural Language Interface to Knowledge Bases for Querytool<\/a>. KRDB Research Centre Technical Report KRDB10-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. January 2010.<\/li>\n<li>Ngo Thi Phuong Nhung. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB10-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Extended theoretical foundations for QUELO framework<\/a>. KRDB Research Centre Technical Report KRDB10-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 2010.<\/li>\n<li>Ngo Thi Phuong Nhung. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB10-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Techniques for query rewriting based on interpolation<\/a>. KRDB Research Centre Technical Report KRDB10-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 2010.<\/li>\n<li>Manuel Kirschner. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB10-4.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">The BoB Dialogue Corpus<\/a>. KRDB Research Centre Technical Report KRDB10-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. September 2010.<\/li>\n<li>T. Di Mascio, R. Gennari, I. Lang and P. Vittorini. <a href=\"http:\/\/www.inf.unibz.it\/~gennari\/pub\/KRDB10-5.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Visual Tools for Annotating Temporal Expressions with TimeML: a Critical Overview.<\/a> KRDB Research Centre Technical Report KRDB10-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. September 2010.<\/li>\n<li>C. Maria Keet. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB10-6.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">An empirical assessment of the use of foundational ontologies in ontology development<\/a>. KRDB Research Centre Technical Report KRDB10-6, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. December 2010.<\/li>\n<\/ul>\n<\/li>\n<li>2009\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li>Barbara Arf\u00e9, Rosella Gennari and Ornella Mich. <a href=\"http:\/\/www.inf.unibz.it\/~gennari\/pub\/KRDB09-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Before, While and After with LODE and Hearing Novice Readers<\/a>. KRDB Research Centre Technical Report KRDB09-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. January 30, 2009.<\/li>\n<li>C. Maria Keet. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB09-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Constraints for representing transforming entities in bio-ontologies<\/a>. KRDB Research Centre Technical Report KRDB09-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 22, 2009.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li id=\"KRDB09-3\">Lina Lubyte and Sergio Tessaris. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB09-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Supporting the Design of Ontologies for Semantic Data Access<\/a>. KRDB Research Centre Technical Report KRDB09-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 22, 2009.<\/li>\n<li>Rosella Gennari, Tania Di Mascio and Giovanni De Gasperis. <a href=\"http:\/\/lode.fbk.eu\/Publication %20List\/KRDB09-4.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">A Short Travel Through Time for Novice Readers: Representation, Reasoning and Visualisation<\/a>. KRDB Research Centre Technical Report KRDB09-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 11, 2009.<\/li>\n<li>Paolo Guagliardo. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB09-05.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Theoretical Foundations of an Ontology-based Visual Tool for Query Formulation Support<\/a>. KRDB Research Centre Technical Report KRDB09-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. October 2009.<\/li>\n<li>Marco Trevisan. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB09-06.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">A Graphical User Interface for Querytool<\/a>. KRDB Research Centre Technical Report KRDB09-6, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. October 2009.<\/li>\n<li>Laura H. Perez. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB09-07.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Intelligent query interface: adding natural language support<\/a>. KRDB Research Centre Technical Report KRDB09-7, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 2009.<\/li>\n<\/ul>\n<\/li>\n<li>2008\n<ul>\n<li>Ornella Mich. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB08-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Constraint-based Temporal Reasoning and E-Learning Tools for Deaf Users<\/a>. A Literature Review. KRDB Research Centre Technical Report KRDB08-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Feb 13, 2008.<\/li>\n<li>Alexander Borgida, Diego Calvanese, and Mariano Rodriguez-Muro. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB08-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Explanation in DL-Lite<\/a>. KRDB Research Centre Technical Report KRDB08-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Feb 18, 2008.<\/li>\n<li>Paolo Dongilli <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB08-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Natural Language Rendering of a Conjunctive Query<\/a>. KRDB Research Centre Technical Report KRDB08-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Jun 16, 2008.<\/li>\n<li>Rosella Gennari and Ornella Mich <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB08-4.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Global Temporal Reasoning on Stories with LODE: a Logic-basedE-tool forDeaf Childrenen<\/a>. KRDB Research Centre Technical Report KRDB08-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. Jun 21, 2008.<\/li>\n<li>Camilo Thorne. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB08-5.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Equivalence of Aggregate Queries with Incomplete Information and Dependencies<\/a>. KRDB Research Centre Technical Report KRDB08-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 1, 2008.<\/li>\n<li>Raffaella Bernardi, Diego Calvanese, Camilo Thorne. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB08-6.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Querying Structured Data with Lite Natural Language<\/a>. KRDB Research Centre Technical Report KRDB08-6, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 1, 2008.<\/li>\n<li>Camilo Thorne. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB08-7.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Expressive Power of DL-Lite (II)<\/a>. KRDB Research Centre Technical Report KRDB08-7, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. July 1, 2008.<\/li>\n<\/ul>\n<\/li>\n<li>2007\n<ul>\n<li>C. Thorne. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB07-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Controlled English for DL-Lite<\/a>. KRDB Research Centre Technical Report KRDB07-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 1, 2007.<\/li>\n<li>C.M. Keet. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB07-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd<\/a>. KRDB Research Centre Technical Report KRDB07-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 15, 2007.<\/li>\n<li>R. Gennari and O. Mich. <a href=\"http:\/\/www.inf.unibz.it\/~gennari\/projects\/lode\/material\/KRDB07-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">LODE: A Logic-based E-learning Tool for Deaf Children<\/a>. KRDB Research Centre Technical Report KRDB07-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. February 28, 2007.<\/li>\n<li>L. Lubyte and S. Tessaris. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB07-4.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Extracting Ontologies from Relational Databases<\/a>. KRDB Research Centre Technical Report KRDB07-4, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. March 28, 2007.<\/li>\n<li>C.M. Keet and M. Rodriguez. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB07-5.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Comprehensiveness versus Scalability: guidelines for choosing an appropriate knowledge representation language for bio-ontologies<\/a>. KRDB Research Centre Technical Report KRDB07-5, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 9, 2007.<\/li>\n<li>Chiara Ghidini, Luciano Serafini and Sergio Tessaris. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB07-06.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">On relating heterogeneous elements from different ontologies<\/a>. KRDB Research Centre Technical Report KRDB07-06, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. May 10, 2007.<\/li>\n<\/ul>\n<\/li>\n<li>2006\n<ul>\n<li>C.M. Keet. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB06-1.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Granular information retrieval from the Gene Ontology and from the Foundational Model of Anatomy with OQAFMA<\/a>, KRDB Research Centre Technical Report KRDB06-1, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 6, 2006.<\/li>\n<li>C.M. Keet. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB06-2.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">A formal approach for using granularity in the subject domain of infectious diseases<\/a>. KRDB Research Centre Technical Report KRDB06-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. April 26, 2006.<\/li>\n<li>C.M. Keet. <a href=\"\/krdb\/wp-content\/KRDB files\/tech-reports\/KRDB06-3.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">Introduction to part-whole relations: mereology, conceptual modelling and mathematical aspects<\/a>. KRDB Research Centre Technical Report KRDB06-3, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. October 2, 2006.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<p><\/p>\n\n\n<p>MS Word and LaTeX templates for the KRDB Technical Reports <a href=\"\/krdb\/KRDB files\/tech-reports\/template.zip\" target=\"_blank\" rel=\"noopener noreferrer\">are available here<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-818","page","type-page","status-publish","hentry","entry","no-media"],"_links":{"self":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages\/818","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/comments?post=818"}],"version-history":[{"count":6,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages\/818\/revisions"}],"predecessor-version":[{"id":843,"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/pages\/818\/revisions\/843"}],"wp:attachment":[{"href":"https:\/\/www.inf.unibz.it\/krdb\/wp-json\/wp\/v2\/media?parent=818"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}