Loris Bozzato

Since March 2011, I work as a researcher in the DKM unit: my research activity in the group mainly focuses on the (description) logic theoretical foundations of the Contextualized Knowledge Repositories (CKR) framework. On January 2011, I obtained my PhD (Dottorato di Ricerca) in Computer Science with the Thesis: Kripke semantics and tableau procedures for constructive description logics.

Context representation and reasoning
Tableaux algorithms for description logics
Constructive semantics for description logics

1. Bozzato, Loris and Serafini, Luciano,
   Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions,
   in «»,
   Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
   ,
   2023
   , pp. 1724-
   1731
2. Bozzato, Loris and Eiter, Thomas and Serafini, Luciano,
   Reasoning on DL-Lite_R with Defeasibility in ASP,
   in «»,
   THEORY AND PRACTICE OF LOGIC PROGRAMMING,
   ,
   2022
   , pp. 254-
   304
3. Tiwari, Sanju and Mihindukulasooriya, Nandana and Osborne, Francesco and Kontokostas, Dimitris and D'Souza, Jennifer and Kejriwal, Mayank and Bozzato, Loris and Anita Carriero, Valentina and Hahmann, Torsten and Zimmermann, Antoine,
   Proceedings of the 1st International Workshop on Knowledge Graph Generation From Text and the 1st International Workshop on Modular Knowledge co-located with 19th Extended Semantic Conference (ESWC 2022), Hersonissos, Greece, May 30th, 2022,
   in «»,
   ,
   ,
   2022
   , pp. -
4. Schuetz, Christoph and Bozzato, Loris and Neumayr, Bernd and Schrefl, Michael and Serafini, Luciano,
   Knowledge Graph OLAP: A Multidimensional Model and Query Operations for Contextualized Knowledge Graphs,
   in «»,
   SEMANTIC WEB,
   ,
   2021
   , pp. 649-
   683
5. Bozzato, Loris and Eiter, Thomas and Kiesel, Rafael,
   Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures,
   in «»,
   THEORY AND PRACTICE OF LOGIC PROGRAMMING 21,
   ,
   2021
   , pp. 593-
   609
6. Bozzato, Loris; Bruscagin, Giulia; Calabrese, Gaetano; Serafini, Luciano; Furlanello, Cesare,
   Semantic Visual Query Answering on Heterogeneous Territorial Data,
   eKNOW 2020 - The Twelfth International Conference on Information, Process, and Knowledge Management,
   IARIA XPS Press,
   2020
   , pp. 75-
   81
7. Hammar, Karl; Kutz, Oliver; Dimou, Anastasia; Hahmann, Torsten; Hoehndorf, Robert; Masolo, Claudio; Vita, Randi; Ben Abbès, Sarra; Hantach, Rim; Calvez, Philippe; Prince Sales, Tiago; Porello -old-, Daniele; Beßler, Daniel; Borgo, Stefano; Diab, Mohammed; Gangemi, Aldo; Olivares Alarcos, Alberto; Pomarlan, Mihai; Porzel, Robert; Skjæveland, Martin G.; Lupp, Daniel P.; Horrocks, Ian; Klüwer, Johan W.; Kindermann, Christian; Bozzato, Loris; Mossakowski, Till; Serafini, Luciano,
   Proceedings of WOMoCoE: 5th International Workshop on Ontology Modularity, Contextuality, and Evolution @ the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020),
   CEUR-WS.org,
   vol. 2708,
   2020
8. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
   Reasoning with Justifiable Exceptions in Contextual Hierarchies,
   ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020),
   IOS Press,
   vol. 325,
   2020
   , pp. 2889-
   2890
9. Schuetz, Christoph G.; Bozzato, Loris; Neumayr, Bernd; Schrefl, Michael; Serafini, Luciano,
   Knowledge Graph OLAP: Appendix,
   2020
10. Bozzato, Loris,
    Extending ASP Based Reasoning to Expressive Constructive Description Logics,
    eKNOW 2020 - The Twelfth International Conference on Information, Process, and Knowledge Management,
    IARIA XPS Press,
    2020
    , pp. 82-
    83
11. Bozzato, Loris; Fiorentini, Camillo,
    Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract),
    Proceedings of the 33rd International Workshop on Description Logics (DL 2020),
    CEUR-WS.org,
    vol. 2663,
    2020
12. Bozzato, Loris; Fiorentini, Camillo,
    Reasoning on Information Term Semantics with ASP for Constructive EL_bot,
    Proceedings of the 35th Italian Conference on Computational Logic (CILC 2020),
    CEUR-WS.org,
    vol. 2710,
    2020
    , pp. 141-
    156
13. Bozzato, Loris; Schuetz, Christoph G.,
    Towards Distributed Contextualized Knowledge Repositories for Analysis of Large-Scale Knowledge Graphs,
    Proceedings of the 35th Italian Conference on Computational Logic (CILC 2020),
    CEUR-WS.org,
    vol. 2710,
    2020
    , pp. 82-
    90
14. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories,
    Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday,
    Springer,
    vol. 11560,
    2019
    , pp. 110-
    134
15. Khan, Abdullah; Serafini, Luciano; Bozzato, Loris; Lazzerini, Beatrice,
    Event Detection from Video Using Answer Set Programing,
    Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019),
    CEUR-WS.org,
    vol. 2396,
    2019
    , pp. 48-
    58
16. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility,
    Proceedings of the 32nd International Workshop on Description Logics (DL 2019),
    CEUR-WS.org,
    vol. 2373,
    2019
17. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    A Note on Reasoning on DL-Lite_R with Defeasibility,
    vol. abs/1905.0922,
    2019
18. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Reasoning on DL-Lite_R with Defeasibility in ASP,
    Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings,
    Springer,
    vol. 11784,
    2019
    , pp. 19-
    35
19. Khan, Abdullah; Bozzato, Loris; Serafini, Luciano; Lazzerini, Beatrice,
    Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming,
    GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence,
    EasyChair,
    vol. 65,
    2019
    , pp. 42-
    53
20. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Justifiable Exceptions in General Contextual Hierarchies,
    Modeling and Using Context - 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019, Proceedings,
    Springer,
    vol. 11939,
    2019
    , pp. 26-
    39
21. Loris, Bozzato; Thomas, Eiter; Luciano, Serafini,
    Enhancing context knowledge repositories with justifiable exceptions,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 257,
    2018
    , pp. 72-
    126
22. Bozzato, Loris; Eiter, Thomas; Serafini, Luciano,
    Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract),
    Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.,
    ijcai.org,
    2018
    , pp. 5568-
    5572
23. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
    Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix),
    vol. abs/1808.01874,
    2018
24. Bozzato, Loris; Serafini, Luciano; Eiter, Thomas,
    Reasoning with Justifiable Exceptions in Contextual Hierarchies,
    Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona,30 October - 2 November 2018.,
    AAAI Press,
    2018
    , pp. 329-
    338
25. Bozzato, Loris,
    ASP Based Generation of Information Terms for Constructive EL,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 161,
    n. 1-2,
    2018
    , pp. 29-
    51
26. Cyras, Kristijonas; Oliveira, Tiago; Williams, Matthew; Bozzato, Loris; Homola, Martin; Mossakowski, Till; Zimmermann, Antoine,
    Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-locat...,
    CEUR-WS.org,
    vol. 2237,
    2018
27. Stefano, Borgo; Loris, Bozzato; Alessio Palmero Aprosio, ; Marco, Rospocher; Luciano, Serafini,
    Towards integration of ontology and text-extracted data for event coreference reasoning,
    Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech,Morocco, April 3-7, 2017,
    ACM,
    2017
    , pp. 353-
    355
28. Loris, Bozzato; Luciano, Serafini; Gaetano, Calabrese,
    CKR:Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States,
    Proceedings of the 30th International Workshop on Description Logics,Montpellier, France, July 18-21, 2017.,
    CEUR-WS.org,
    vol. 1879,
    2017
29. Loris, Bozzato; Luciano, Serafini; Gaetano, Calabrese,
    CKR:Live Demo: Representing an Evolving Scenario by Contexts and Exceptions,
    Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference(ISWC 2017), Vienna, Austria, October 23rd - to - 25th, 2017.,
    CEUR-WS.org,
    vol. 1963,
    2017
30. Daniele, Dell'Aglio; Darko, Anicic; Barnaghi, Payam M.; Emanuele Della Valle, ; Mcguinness, Deborah L.; Loris, Bozzato; Thomas, Eiter; Martin, Homola; Daniele, Porello,
    Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Au...,
    CEUR-WS.org,
    vol. 1936,
    2017
31. Stefano, Borgo; Loris, Bozzato; Alessio Palmero Aprosio, ; Marco, Rospocher; Luciano, Serafini,
    On Coreferring Text-extracted Event Descriptions with the aid of Ontological Reasoning,
    vol. abs/1612.00227,
    2016
32. Bozzato, Loris,
    ASP Based Generation of Information Terms for Constructive EL,
    Proceedings of the 31st Italian Conference on Computational Logic (CILC 2016),
    CEUR-WS.org,
    vol. 1645,
    2016
    , pp. 190-
    204
33. Kutz, Oliver; de Cesare, Sergio; Hedblom, Maria M.; Besold, Tarek Richard; Veale, Tony; Gailly, Frederik; Guizzardi, Giancarlo; Lycett, Mark; Partridge, Chris; Pastor, Oscar; Grüninger, Michael; Neuhaus, Fabian; Mossakowski, Till; Borgo, Stefano; Bozzato, Loris; Del Vescovo, Chiara; Homola, Martin; Loebe, Frank; Barton, Adrien; Bourguet, Jean-Rémi,
    Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016),
    CEUR-WS.org,
    vol. 1660,
    2016
34. Zolzaya, Dashdorj; Muhammad Tahir Khan, ; Loris, Bozzato; Sangkeun, Lee,
    Classification of News by Topic Using Location Data,
    Semantic Technology - 6th Joint International Conference, JIST 2016,Singapore, Singapore, November 2-4, 2016, Revised Selected Papers,
    Springer,
    vol. 10055,
    2016
    , pp. 305-
    314
35. Bozzato, Loris; Borgo, Stefano; Palmero Aprosio, Alessio; Rospocher, Marco; Serafini, Luciano,
    A Contextual Framework for Reasoning on Events,
    Proceedings of the 4th International Workshop on Detection, Representation,and Exploitation of Events in the Semantic Web (DeRiVE 2015),
    CEUR-WS.org,
    vol. 1363,
    2015
    , pp. 47-
    57
36. Loris Bozzato; Thomas Eiter; and Luciano Serafini,
    Contextualized Knowledge Repositories with Justifiable Exceptions,
    DL2014,
    CEUR-WS.org,
    vol. 1193,
    2014
    , pp. 112-
    123
37. Loris Bozzato; Thomas Eiter; Luciano Serafini,
    Defeasibility in contextual reasoning with CKR,
    CILC 2014,
    CEUR-WS.org,
    vol. 1195,
    2014
    , pp. 132-
    146
38. Loris Bozzato; Luciano Serafini,
    Combining Reasoning on Semantic Web Metadata,
    ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014),
    IOS Press,
    vol. 263,
    2014
    , pp. 979-
    980
39. Loris Bozzato; Luciano Serafini,
    Combining Reasoning on Semantic Web Metadata,
    2014
40. Bozzato, Loris; Serafini, Luciano,
    Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation,
    Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linkoping, Sweden, November 24-28, 2014. Revised Selected Papers,
    Springer,
    vol. 8982,
    2014
    , pp. 35-
    51
41. Loris, Bozzato; Luciano, Serafini,
    Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation,
    ARCOE-Logic 2014 (Workshop notes),
    vol. abs/1412.7964,
    2014
    , pp. 13-
    24
42. Loris Bozzato; Luciano Serafini,
    Materialization Calculus for Contexts in the Semantic Web,
    DL2013,
    CEUR-WS.org,
    vol. 1014,
    2013
    , pp. 552-
    572
43. Loris Bozzato; Chiara Ghidini; Luciano Serafini,
    Comparing contextual and flat representations of knowledge – a concrete case about football data.,
    Proceedings of the Seventh International Conference on Knowledge Capture (K-CAP 2013),
    2013
44. Bozzato L.; Eiter T.; Serafini L.,
    Defeasibility in contextual reasoning with CKR,
    ARCOE-LogIC 2013,
    2013
45. Bozzato L.; Homola M.; Serafini L.,
    ExpTime Tableaux Algorithm for Contextualized ALC,
    Modeling and Using Context,
    Springer,
    vol. 8175,
    2013
    , pp. 199-
    212
46. L. Bozzato; M. Homola; L. Serafini,
    Towards More Effective Tableaux Reasoning for CKR,
    CEUR-WS.org,
    vol. 846,
    2012
    , pp. 114-
    124
47. Loris Bozzato; Francesco Corcoglioniti; Martin Homola; Mathew Joseph; Luciano Serafini,
    Managing Contextualized Knowledge with the CKR,
    2012
48. L. Bozzato; M. Homola; L. Serafini,
    ExpTime Reasoning for Contextualized ALC,
    2012
49. L. Bozzato; M. Homola; L. Serafini,
    Context on the Semantic Web: Why and How,
    2012
    , pp. 11-
    18
50. L. Bozzato; S. Braghin; A. Trombetta,
    A method and guidelines for the cooperation of ontologies and relational databases in Semantic Web applications,
    CEUR-WS.org,
    vol. 912,
    2012
    , pp. 73-
    84
51. M. Homola; L. Bozzato; L. Serafini,
    Tableaux Algorithm for Reasoning with Contextualized Knowledge,
    2011
52. L. Bozzato; F. Corcoglioniti; M. Joseph; L. Serafini,
    Evaluation of Contextual Queries,
    2011
53. L. Bozzato; F. Corcoglioniti; M. Homola; L. Serafini,
    Evaluation of Contextual Modelling in the FIFA World Cup Use Case,
    2011
54. Loris Bozzato,
    Kripke semantics and tableau procedures for constructive description logics,
    2011
55. Bozzato, Loris; Mauro, Ferrari,
    Composition of Semantic Web Services in a Constructive Description Logic.,
    Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR2010),
    Springer,
    vol. 6333,
    2010
    , pp. 223-
    226
56. Bozzato, Loris; Mauro, Ferrari; Camillo, Fiorentini; Guido, Fiorino,
    A Decidable Constructive Description Logic,
    Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA 2010),
    Springer,
    vol. 6341,
    2010
    , pp. 51-
    63
57. Loris Bozzato; Mauro Ferrari; Paola Villa,
    Actions Over a Constructive Semantics for Description Logics,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 96,
    n. 3,
    2009
    , pp. 253-
    269
58. Loris Bozzato; Mauro Ferrari; Paola Villa,
    A note on constructive semantics for description logics,
    2009
59. Loris Bozzato; Mauro Ferrari; Alberto Trombetta,
    Building a domain ontology from glossaries: a general methodology,
    CEUR-WS.org,
    vol. 426,
    2008
60. Loris Bozzato; Mauro Ferrari; Paola Villa,
    Actions over a constructive semantics for description logics,
    2008
61. Loris Bozzato; Mauro Ferrari; Paola Villa,
    Actions over a constructive semantics for ALC,
    CEUR-WS.org,
    vol. 353,
    2008
62. Loris Bozzato; Mauro Ferrari; Camillo Fiorentini; Guido Fiorino,
    A constructive semantics for ALC,
    CEUR-WS.org,
    vol. 250,
    2007
    , pp. 219-
    226
63. Elisabetta Binaghi; Loris Bozzato; Cristina Ghiselli; Alberto Trombetta,
    Semantic Web meets Virtual Museums: the Domus Naturae Project.,
    Archives & Museum Informatics Europe,
    2005
64. Cristina Ghiselli; Loris Bozzato; Alberto Trombetta,
    Representation and management of ontologies in cultural heritage domain,
    CEUR-WS.org,
    vol. 166,
    2005