Enrico Franconi

Selected publications (, )

Temporal Reasoning

Knowledge Representation and Databases

  • View Updates

    • Ingo Feinerer, Enrico Franconi, and Paolo Guagliardo (2015). Lossless selection views under conditional domain constraints. IEEE Transactions on Knowledge and Data Engineering, 27(2):504–517, 2015.
    • Ingo Feinerer, Paolo Guagliardo, and Enrico Franconi (2014). Lossless selection views under constraints. In Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW-14), 2014.
    • Enrico Franconi and Paolo Guagliardo (2014). Translatable updates of selection views under constant complement. In Database and Expert Systems Applications - 25th International Conference, DEXA 2014, volume 8645 of Lecture Notes in Computer Science, pages 295–309. Springer, 2014.
    • Ingo Feinerer, Enrico Franconi, and Paolo Guagliardo (2013). Lossless horizontal decomposition with domain constraints on interpreted attributes. In Big Data - 29th British National Conference on Databases (BNCOD 2013), volume 7968 of Lecture Notes in Computer Science, pages 77–91. Springer, 2013.
    • Enrico Franconi and Paolo Guagliardo (2013). Effectively updatable conjunctive views. In Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013.
    • Enrico Franconi and Paolo Guagliardo (2012). On the translatability of view updates. In Juliana Freire and Dan Suciu, editors, Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, volume 866 of CEUR Workshop Proceedings, pages 154–167, 2012.
    • E. Franconi and P. Guagliardo (2011). A constructive framework for view updating. In Proc. of the 19th Italian Symposium on Advanced Database Systems (SEBD-2011), June 2011.
  • Null values in SQL

    • Enrico Franconi and Sergio Tessaris (2012). The algebra and the logic for SQL nulls. In Twentieth Italian Symposium on Advanced Database Systems, SEBD 2012, pages 163–176. Edizioni Libreria Progetto, 2012.
    • Enrico Franconi and Sergio Tessaris (2012). On the logic of SQL nulls. In Juliana Freire and Dan Suciu, editors, Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, Ouro Preto, Brazil, June 27-30, 2012, volume 866 of CEUR Workshop Proceedings, pages 114–128, 2012.
  • Temporal Databases

  • Schema Evolution

  • Multidimensional Aggregation and Data Warehouses

    • Enrico Franconi and Anand Kamble (2004). A Data Warehouse Conceptual Data Model. Proceedings of the 16th Conf. on Scientific and Statistical Database Management (SSDBM'04), Santorini, Greece, 2004.
    • Enrico Franconi and Anand Kamble (2004). The GMD Data Model and Algebra for Multidimensional Information. Proceedings of the 16th International Conference on Advanced Information Systems Engineering (CAiSE-04),  Riga, Latvia, 2004.
    • Enrico Franconi and Anand Kamble (2003). The GMD Data Model for Multidimensional Information: a brief introduction. 5th International Conference on Data Warehousing and Knowledge Discovery (DaWaK'03), Prague, Czech Republic, 2003.
    • Enrico Franconi and Ulrike Sattler (1999). A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. Workshop on Design and Management of Data Warehouses (DMDW'99), Heidelberg, Germany, June 1999.
    • Enrico Franconi, Franz Baader, Ulrike Sattler, and Panos Vassiliadis (1999). Multidimensional Data Models and Aggregation. In Fundamentals of Data Warehousing, edited by M. Jarke, M. Lenzerini, Y. Vassilious, and P. Vassiliadis, chapter 5, pages 87-106, Springer-Verlag, 1999.
    • Enrico Franconi and Ulrike Sattler (1999). A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report. Italian Association for Artificial Intelligence AI*IA Notizie journal, vol. 1, pages 9-21, March 1999.
    • Enrico Franconi and Ulrike Sattler (1998) Reasoning with Multidimensional Aggregation: a preliminary report. Technical Report, DWQ Consortium, October 1998.
    • Franz Baader, Enrico Franconi and Ulrike Sattler (1997). A Formal Language for the Conceptual Level Representation of Multidimensional Aggregation. Technical Report, DWQ Consortium, October 1997.
  • Conceptual Modelling

    • Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, and Ernest Teniente (2014). Logic foundations of the OCL modelling language. In Eduardo Ferm ́e and Joao Leite, editors, Logics in Artificial Intelligence - 14th European Conference, JELIA 2014. Springer, 2014.
    • Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Giuseppe Pirrò, and Riccardo Rosati (2013). The logic of extensional RDFS. In International Semantic Web Conference (ISWC 2013), volume 8218 of Lecture Notes in Computer Science, pages 101–116. Springer, 2013.
    • Enrico Franconi and Alessandro Mosca (2013). Towards a core ORM2 language (research note). In OTM Workshops, volume 8186 of Lecture Notes in Computer Science, pages 448–456. Springer, 2013.
    • Dmitry Solomakhin, Enrico Franconi, and Alessandro Mosca (2013). Logic-based reasoning support for SBVR. Fundamenta Informaticae, 124(4):543–560, 2013.
    • E. Franconi, A. Mosca, and D. Solomakhin (2012). ORM2 encoding into description logics. In 2012 International Description Logics workshop (DL-2012), 2012.
    • Enrico Franconi, Alessandro Mosca, and Dmitry Solomakhin (2012). The formalization of ORM2 and its encoding in OWL2. In International Workshop on Fact-Oriented Modeling (ORM 2012), 2012.
    • P. R. Fillottrani, E. Franconi, and S. Tessaris (2012). The ICOM 3.0 intelligent conceptual modelling tool and methodology. Semantic Web journal, Volume 3, Number 3, pp. 293-306, 2012.
    • Peter F. Patel-Schneider and Enrico Franconi (2012). Ontology constraints in incomplete and complete data. In ISWC 2012 - 11th International Semantic Web Conference, volume 7649 of Lecture Notes in Computer Science, pages 444–459. Springer-Verlag, 2012.
    • R. Rosati and E. Franconi. Generalized ontology-based production systems (2012). In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 2012.
    • D. Solomakhin, A. Mosca, and E. Franconi (2011). Logic-based reasoning support for SBVR. In Proc. of the 26th Italian conference on Computational Logics (CILC-2011), 2011.
    • P. R. Fillottrani, E. Franconi, and S. Tessaris (2011). Ontology design and integration with ICOM 3.0 - tool description and methodology. In Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011.
    • Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris (2006). Reasoning Support for Ontology Design. Proc. of the Workshosp on OWL Experiences and Directions (OWLED 2006), Athens, Georgia, USA, 10-11 November 2006.
    • Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris (2006). The new ICOM Ontology Editor. Proceedings of the 2006 International Workshop on Description Logics (DL-06), 2006.
    • Jos de Bruijn, Enrico Franconi, Sergio Tessaris (2005). Logical Reconstruction of normative RDF. Proc. of the Workshosp on OWL Experiences and Directions (OWLED 2005), Galway, Ireland, November 2005.
    • Jos de Bruijn, Enrico Franconi, Sergio Tessaris (2005). Logical Reconstruction of RDF and Ontology Languages. 2nd Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005), Dagstuhl, Germany, September 2005.
    • Grigoris Antoniou, Enrico Franconi, and Frank van Harmelen (2005). Introduction to Semantic Web Ontology Languages. In N. Eisinger and J. Maluszynski (Eds.) REWERSE 2005, Springer-Verlag, 2005.
    • Enrico Franconi (2004). Using Ontologies. IEEE Intelligent Systems, Vol. 19 No. 1, 2004.
    • Enrico Franconi and Gary Ng (2000). The i.com Tool for Intelligent Conceptual Modelling. 7th Intl. Workshop on Knowledge Representation meets Databases (KRDB'00), Berlin, Germany, August 2000.
    • Matthias Jarke, C. Quix, D. Calvanese, M. Lenzerini, Enrico Franconi, S. Ligoudistiano, P. Vassiliadis and Yannis Vassiliou (2000). Concept Based Design of Data Warehouses: The DWQ Demonstrators. 2000 ACM International Conference on Management of Data (SIGMOD'00), Dallas TX, USA, May 2000.
  • Peer-to-peer Database Systems.

  • Semantics-driven Query Formulation Support

    • Laura Perez-Beltrachini, Claire Gardent, and Enrico Franconi (2014). Incremental query generation. In Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2014), pages 183–191, 2014.
    • Enrico Franconi, Claire Gardent, Ximena Juarez-Castro, and Laura Perez-Beltrachini (2014). Quelo natural language interface: Generating queries and answer descriptions. In Proceedings of the workshop on Natural Language Interfaces for Web of Data, 2014.
    • Enrico Franconi, Paolo Guagliardo, and Sergio Tessaris (2012). Quelo at the IESD challenge 2012. In International Workshop on Intelligent Exploration of Semantic Data (IESD’2012), 2012.
    • E. Franconi, P. Guagliardo, M. Trevisan, and S. Tessaris (2011). Quelo: an ontology-driven query interface. In Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011.
    • Enrico Franconi, Paolo Guagliardo and Marco Trevisan (2010). An intelligent query interface based on ontology navigation. Workshop on Visual Interfaces to the Social and Semantic Web (VISSW 2010), Hong Kong, February 2010.
    • Paolo Dongilli, Enrico Franconi (2006). An Intelligent Query Interface with Natural Language Support. FLAIRS Conference 2006: 658-663.
    • Tiziana Catarci, Tania Di Mascio, Paolo Dongilli, Enrico Franconi, Giuseppe Santucci, and Sergio Tessaris (2005). SEWASIE (Semantic Web and AgentS in Integrated Economies) project: Usability Evaluation Tests. In Proceedings of the 4th Italian Symposium on Human-Computer Interaction (HCITALY 2005), Rome, Italy, September 2005.
    • Paolo Dongilli, Pablo Fillottrani, Enrico Franconi, and Sergio Tessaris (2005). A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. In Proceedings of Thirteenth Italian Symposium on Advanced Database Systems (SEBD-2005), Brixen-Bressanone, Italy, June 2005.
    • Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris (2005). Usability evaluation tests in the SeWAsIE (SEmantic Webs and AgentS in Integrated Economies) project. Proceedings of the 11th International Conference on Human-Computer Interaction (HCII 2005), 2005.
    • Tiziana Catarci, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris (2004). An ontology based visual tool for query formulation support. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04), 2004. A short version appears in ODBASE'03, International Conference on Ontologies, Databases and Applications of SEmantics, 2003.
    • Paolo Dongilli, Enrico Franconi, and Sergio Tessaris (2004). Semantics driven support for query formulation. Proceedings of the 2002 International Workshop on Description Logics (DL-04), 2004.
  • Semantics-driven Information Access and Integration

    • Nhung Ngo and Enrico Franconi. Unique solutions in data exchange (2014). In Database and Expert Systems Applications - 25th International Conference, DEXA 2014, volume 8645 of Lecture Notes in Computer Science, pages 281–294. Springer, 2014.
    • Enrico Franconi, Paolo Guagliardo, Volha Kerhet, and Nhung Ngo (2014). Interpolation and domain independence applied to databases. In Abstracts of the iPRA 2014 workshop – Interpolation: From Proofs to Applications. easychair.org, 2014.
    • Enrico Franconi, Volha Kerhet, and Nhung Ngo (2013). Exact query reformulation over databases with first-order and description logics ontologies. Journal of Artificial Intelligence Research (JAIR), 48:885–922, 2013.
    • Ronell Alberts and Enrico Franconi. An integrated method using conceptual modelling to generate an ontology-based query mechanism (2012). In Proceedings of OWL: Experiences and Directions Workshop 2012 (OWLED-2012), 2012.
    • E. Franconi, V. Kerhet, and N. Ngo (2012). Exact query reformulation over SHOQ DBoxes. In Proc. of the 2012 International Workshop on Description Logics (DL-2012), 2012.
    • Enrico Franconi, Volha Kerhet, and Nhung Ngo (2012). Exact query reformulation with first-order ontologies and databases. In Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, pages 202–214, 2012.
    • Enrico Franconi, Nhung Ngo, and Evgeny Sherkhonov (2012). The definability abduction problem for data exchange - (abstract). In Web Reasoning and Rule Systems - 6th International Conference, RR 2012, pages 217–220, 2012.
    • E. Franconi, Y. A. Ibanez-Garcia, and I. Seylan (2011). Query answering with DBoxes is hard. Electronic Notes in Theoretical Computer Science, Elsevier, 278:71-84, November 2011.
    • Alex Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant Weddell (2010). On Finding Query Rewritings under Expressive Constraints. Proc. of the 18th Italian Symposium on Advanced Database Systems (SEBD-2010), June 20th - 23rd 2010, Rimini, Italy.
    • S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M-C. Rousset, R. Schmidt (2009). Reasoning Web: Semantic Technologies for Information Systems. Tutorial Lectures of the 5th International Reasoning Web Summer School 2009, Brixen-Bressanone, Italy, 30 August - 4 September 2009, Springer-Verlag.
    • Inanc Seylan, Enrico Franconi, Jos de Bruijn (2009). Effective Query Rewriting with Ontologies over DBoxes, in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), July 2009. An abridged version appears in the Proceedings of the 2009 International Workshop on Description Logics (DL-09), July 2009.
    • Enrico Franconi and Sergio Tessaris (2004). Rules and Queries with Ontologies: a Unified Logical Framework. Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France, 2004; supported by the REWERSE  and the CoLogNet European Networks of Excellence.
    • Martin Peim, Enrico Franconi and Norman Paton (2004). Applying Functional Languages in Knowledge-Based Information Integration Systems. In "Functional Approaches to Computing with Data", edited by Peter Gray, Larry Kerschberg, Peter King, Alex Poulovassilis, Springer-Verlag, LNCS, pag. 239-261, 2004.
    • Enrico Franconi (2003). Description Logics for Conceptual Design, Information Access, and Ontology Integration: Research Trends. Networks journal of the philosophy of Artificial Intelligence and Cognitive Science, special issue on the Semantic Web, 2003/2.
    • Martin Peim, Enrico Franconi and Norman Paton (2003). Estimating the Quality of Answers when Querying over Description Logic Ontologies. Data and Knowledge Engineering (DKE) journal, Elsevier, Volume 47, Issue 1, October 2003.
    • Martin Peim, Enrico Franconi, Norman Paton and Carole Goble (2002). Query Processing with Description Logic Ontologies Over Object-Wrapped Databases. Proc. of the 14th International Conference on Scientific and Statistical Database Management (SSDBM-02), Edinburgh, UK, July 2002. A shorter version appears in the proceedings of the 2002 International Workshop on Description Logics (DL-2002), Toulouse, France, April 2002.
    • Enrico Franconi, Ken Barker and Diego Calvanese. Proceedings of the International Workshop on Foundations of Models for Information Integration (FMII-2001), Springer-Verlag, Lecture Notes in Computer Science, 2001.
    • Enrico Franconi (2000). Knowledge Representation meets Digital Libraries. 1st DELOS (Network of Excellence on Digital Libraries) workshop on "Information Seeking, Searching and Querying in Digital Libraries", December 2000, Zurich, Switzerland.
    • Enrico Franconi (1997). Software Asset Classification and Retrieval with Description Logics: the Intelligent Reuse Assistant. 1997 International Workshop on Description Logics (DL'97), Paris, France, September 1997.
    • Paolo Bresciani and Enrico Franconi (1996). Description Logics for Information Access. AI*IA 1996 Workshop on Access, Extraction and Integration of Knowledge, Napoli, September 1996.
  • Data Repair

  • KRDB

Representation of Parts and Wholes

Description Logics and Computational Logics

Natural Language Semantics

Description Logics workshops