Selected publications (, )

Temporal Reasoning

• E. Franconi and D. Toman (2011). Fixpoints in temporal description logics. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages 875-880, 2011.
• Alessandro Artale and Enrico Franconi (2009). Foundations of Temporal Conceptual Data Models. In Alex T. Borgida, Vinay Chaudhri, Paolo Giorgini, and Eric Yu, editors, Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, volume 5600 of Lecture Notes in Computer Science, pages 10-35. Springer, 2009.
• Alessandro Artale and Enrico Franconi (2005). Temporal Description Logics. In Handbook of Temporal Reasoning in Artificial Intelligence, edited by Dov Gabbay, Michael Fisher and Lluis Vila. Elsevier, "Foundations of Artificial Intelligence" Series.
• Alessandro Artale, Clare Dixon, Michael Fisher and Enrico Franconi (Eds.) (2004). Temporal Representation and Reasoning. Special issue of the Journal of Logic and Computation (JLC), Volume 14, Issue 1, February 2004, Oxford University Press.
• Enrico Franconi and David Toman (2003). Fixpoint Extensions of Temporal Description Logics. 2003 International Workshop on Description Logics (DL'03), Rome, Italy, September 2003.
• Alessandro Artale and Enrico Franconi (2001). A Survey of Temporal Extensions of Description Logics. Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 30 No. 1-4, 2001, Kluwer Academic Publishers.
• Alessandro Artale and Enrico Franconi (1999). Introducing Temporal Description Logics. Invited paper at the sixth International Workshop on Temporal Representation and Reasoning (TIME'99), IEEE Computer Society Press, 1999.
• Alessandro Artale and Enrico Franconi (1999). Representing a Robotic Domain using Temporal Description Logics. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), special Issue on Temporal Logic in Engineering, Vol. 13, No. 2, April 1999.
• Alessandro Artale and Enrico Franconi (1998). A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research (JAIR) Vol. 9, pages 463-506, December 1998.
• Alessandro Artale and Enrico Franconi (1995). Hierarchical Plans in a Description Logic of Time and Action. 1995 International Workshop on Description Logics (DL'95), Rome, Italy, June 1995. Also IJCAI'95 workshop on The Next Generation Of Plan Recognition Systems, August 1995.
• Alessandro Artale and Claudio Bettini and Enrico Franconi (1994). Homogeneous concepts in a temporal description logic. 1994 International Workshop on Description Logics (DL'94), Bonn, Germany, May 1994.
• Alessandro Artale and Enrico Franconi (1994). A computational account for a description logic of time and action. 4th International Conference on Knowledge Representation and Reasoning (KR'94), Morgan Kaufmann, San Mateo CA, May 1994.

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

  • Alessandro Artale, Enrico Franconi and Federica Mandreoli (2003). Description Logics for Modelling Dynamic Information. In Logics for Emerging Applications of Databases, edited by Jan Chomicki, Ron van der Meyden and Günter Saake, Springer-Verlag.
  • Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev (2002). A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. Proc. of the 8th European Conference on Logics in Artificial Intelligence (JELIA-2002).
  • Alessandro Artale and Enrico Franconi (2001). Temporal ER Modelling with Description Logics: A Preliminary Report. Italian Association for Artificial Intelligence "AI*IA Notizie" journal, Vol. XIV, No. 1, March 2001.
  • Alessandro Artale and Enrico Franconi (1999). Schema Integration of Temporal Databases. Internal Report.
  • Alessandro Artale and Enrico Franconi (1999). Temporal ER Modeling with Description Logics. International Conference on Conceptual Modeling (ER'99), Paris, France, November 1999, Springer-Verlag.
  • Alessandro Artale and Enrico Franconi (1999). Reasoning with enhanced Temporal Entity-Relationship Models. International Workshop on Spatio-Temporal Data Models and Languages (STDML'99), Florence, Italy, August 1999, IEEE Computer Society Press. Also in 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 1999; and 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 1999.

• Schema Evolution

  • Enrico Franconi, Thomas Meyer and Ivan Varzinczak (2010). Semantic Diff as the Basis for Knowledge Base Versioning. Proc. of the 13th International Workshop on Non-Monotonic Reasoning (NMR-2010), Toronto, Canada, May 2010.
  • Enrico Franconi, Fabio Grandi and Federica Mandreoli (2000). Schema Evolution and Versioning: a Logical and Computational Characterisation. 9th Intl. Workshop on Foundations of Models and Languages for Data and Objects: "Database schema evolution and meta-modeling" (DEMM'00), Schloss Dagstuhl, Germany, September 2000.
  • Enrico Franconi, Fabio Grandi and Federica Mandreoli (2000). Description Logics for Schema Evolution. 2000 International Workshop on Description Logics (DL'00), Aachen, Germany, August 2000.
  • Enrico Franconi, Fabio Grandi and Federica Mandreoli (2000). A Semantic approach for Schema Evolution and Versioning in Object-Oriented Databases. 6th International Conference on Rules and Objects in Databases (DOOD'00), London, UK, July 2000.

• 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

  • Francesco Sportelli and Enrico Franconi. A formalisation and a computational characterisation of ORM derivation rules. 18th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2019), 2019.
  • Alessandro Artale and Enrico Franconi. Towards a logical foundation of reification in modelling languages. In S. Borgo, R. Ferrario, C. Masolo, and L. Vieu, editors, Ontology Makes Sense, volume 316 of Frontiers in Artificial Intelligence and Applications, pages 242–256. IOS Press, 2019.
  • E. Franconi, A. Mosca, X. Oriol, G. Rull, and E. Teniente. OCL_fo: first-order expressive OCL constraints for efficient integrity checking. Software and Systems Modeling, 18(4):2655–2678, 2019.
  • Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli (2017). A Decidable Very Expressive Description Logic for Databases. Proceedings of the 16th International Semantic Web Conference (ISWC-2017), 2017.
  • Alessandro Artale, Enrico Franconi (2016). Extending DLR with labelled tuples, projections, functional dependencies and objectification. Proceedings of the 29th International Workshop on Description Logics (DL-2016), 2016.
  • Francesco Sportelli, Enrico Franconi (2016). Formalisation of ORM derivation rules and their mapping into OWL. 15th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2016), 2016.
  • 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.

  • Enrico Franconi, Gabriel Kuper, Andrei Lopatenko (2005). Efficient query processing in Dynamic Networks of Autonomous Sources. Technical Report, 2005.
  • Enrico Franconi, Gabriel Kuper, Andrei Lopatenko, Ilya Zaihrayeu (2004). Queries and Updates in the coDB Peer to Peer Database System. Proc. of the 30th International Conference on Very Large Data Bases (VLDB'04), 2004.
  • Enrico Franconi, Gabriel Kuper, Andrei Lopatenko, Ilya Zaihrayeu (2004). The coDB Robust Peer-to-Peer Database System. Proc. of the 2nd Workshop on Semantics in Peer-to-Peer and Grid Computing (SemPGrid'04), 2004.
  • Enrico Franconi, Gabriel Kuper, Andrei Lopatenko, Ilya Zaihrayeu (2004). A distributed algorithm for robust data sharing and updates in P2P database networks. Proceedings of the EDBT International Workshop on Peer-to-peer Computing and Databases (P2P&DB'04), Heraklion, Crete, 2004.
  • Enrico Franconi, Gabriel Kuper, Andrei Lopatenko and Luciano Serafini (2003). A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. Proceedings of the VLDB International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P'03), Berlin, Germany, September 2003.

• 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

  • Enrico Franconi and Volha Kerhet. Effective query answering with ontologies and DBoxes. In C. Lutz, U. Sattler, C. Tinelli, A. Turhan, and F. Wolter, editors, Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, pages 301–328. Springer, 2019.
  • Nony Ndefo and Enrico Franconi. On preserving information in schema transformations: A constructive perspective. In 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2019, pages 57–64. IEEE Computer Society, 2019.
  • Diego Calvanese, Enrico Franconi (2018). First-Order Ontology Mediated Database Querying via Query Reformulation. A Comprehensive Guide Through the Italian Database Research 2018: 169-185
  • Nhung Ngo, Enrico Franconi (2016). Unique solutions in data exchange under STS mappings. Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW-2016), 2016.
  • 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

  • Leo Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko (2008) The complexity and approximation of fixing numerical attributes in databases under integrity constraints. Information Systems journal, Volume 33, Issues 4-5, June-July 2008, Pages 407-434. Preliminary version in Proc. of the Databases Programming Languages Conference (DBPL-2005).
  • Leo Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko (2005) Fixing Inconsistent Databases by Updating Numerical Attributes. Proc. First International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2005), Copenhagen, Denmark, August 2005.
  • Enrico Franconi (2005). Editing as a Data Repair Problem: a Logical Formalisation. 55th Session of the International Statistical Institute (ISI-2005), April 2005.
  • Leopoldo Bertossi, Loreto Bravo, Enrico Franconi and Andrei Lopatenko (2004). Fixing Numerical Attributes Under Integrity Constraints. Technical Report, 2004.
  • Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri and Francesco Scarcello (2001). Census Data Repair: A Challenging Application of Disjunctive Logic Programming. 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-2001), November 2001.

• KRDB

  • Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca (2005). Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems (SEBD 2005), Brixen-Bressanone, Italy, June 2005.
  • Enrico Franconi and Michael Kifer (Eds.) (1999). Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linkoeping, Sweden, July 1999. Linkoeping University Technical Report, Sweden, July 1999. Also electronically available as CEUR Publication, Vol. 21, RWTH Aachen, Germany, July 1999.

Representation of Parts and Wholes

• Alessandro Artale, Enrico Franconi and Nicola Guarino (1996). Open Problems for Part-Whole Relations. 1996 International Workshop on Description Logics (DL'96), Boston MA, November 1996.
• Alessandro Artale, Enrico Franconi, Nicola Guarino and Luca Pazzi (1996). Part-Whole Relations in Object-Centered Systems: An Overview. Data and Knowledge Engineering (DKE) journal 20 (1996) 347-383, North-Holland, Elsevier.
• Enrico Franconi (1993). A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines (3)4:453-474, Kluwer Academic Publishers, November 1993.

Description Logics and Computational Logics

• Balder ten Cate, Enrico Franconi, and Inanc Seylan (2013). Beth definability in expressive description logics. Journal of Artificial Intelligence Research (JAIR), 48:347–414, 2013.
• Volha Kerhet and Enrico Franconi (2012). On checking domain independence. In Proceedings of the 9th Italian Convention on Computational Logic, number 857 in CEUR Workshop Proceedings, pages 246–250, 2012.
• B. ten Cate, E. Franconi, and I. Seylan (2011). Beth definability in expressive description logics. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages 1099-1106, 2011.
• Inanc Seylan, Enrico Franconi, Jos de Bruijn (2010). Optimal Rewritings in Definitorially Complete Description Logics, 23rd International Workshop on Description Logics (DL-2010), Waterloo, Canada, May 2010.
• Brandon Bennett, Clare Dixon, Michael Fisher, Enrico Franconi, Ian Horrocks, Ullrich Hustadt and Maarten de Rijke (2002). Combinations of Modal Logics, Artificial Intelligence Review journal (AIR), Kluwer Academic Publishers, volume 17, number 1, pages 1-20, March 2002.
• Alex Borgida, Enrico Franconi, Ian Horrocks (2000). Explaining ALC Subsumption. Proc. of the 14th European Conference on Artificial Intelligence (ECAI'00), Berlin, Germany.
• Carlos Areces, Enrico Franconi, Rajeev Gore', Maarten de Rijke and Holger Schlinghoff (2000). Use Your Logic. Editorial to the special issue on "Methods for Modalities" of the Logic Journal of the IGPL, vol. 8, no. 3, May 2000, Oxford University Press.
• Paolo Bresciani, Enrico Franconi and Sergio Tessaris (1995). Implementing and testing expressive Description Logics: a preliminary report. 1995 International Workshop on Description Logics (DL'95), Rome, Italy, June 1995. Also in the Proceedings of the International KRUSE Symposium, Santa Cruz, August 1995.
• Enrico Franconi and Vania Rabito (1994). A Relation-Based Description Logic. 1994 International Workshop on Description Logics (DL'94), Bonn, Germany, May 1994.
• Franz Baader, Enrico Franconi, Bernhard Hollunder, Bernhard Nebel and Hans-Jürgen Profitlich (1994). An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence (4)2, Kluwer Academic Publishers. Extended and revised version of a previously published paper at KR'92, April 1994.
• Enrico Franconi, Bernardo Magnini and Oliviero Stock (1992). Prototypes in a hybrid language with primitive descriptions. Computer and Mathematics with Applications 23(6-9):543-556, March-May 1992. Pergamon Press.
• Enrico Franconi (1991). A short presentation of YAK, a hybrid knowledge representation system. Terminological Logic Users Workshop, pp. 174-177, edited by C. Peltason and K. von Luck and C. Kindermann, Department of Computer Science, Technische Universitaet Berlin, 1991.
• Enrico Franconi (1991).Extending Hybridity within the YAK Knowledge Representation System. 2nd International Workshop on Terminological Logics, Schloss Dagstuhl, pp. 43-46, edited by B. Nebel, C. Peltason and K. von Luck, 1991.
• Roldano Cattoni and Enrico Franconi (1990). Walking through the semantics of frame-based description languages: A case study. 5th International Symposium on Methodologies for Intelligent Systems (ISMIS'90), Knoxville, TN, pp. 234-241, 1990.

Natural Language Semantics

• Enrico Franconi (2002). Description Logics for Natural Language Processing. Chapter in the Description Logics Handbook, edited by F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi and P. F. Patel-Schneider, Cambridge University Press, December 2002.
• Enrico Franconi (1996). Logical Form and Knowledge Representation: towards a reconciliation. AAAI'96 Fall Symposium on Knowledge Representation Systems Based on Natural Language, Boston MA, November 1996.
• Enrico Franconi (1994). Description Logics for Natural Language Processing. AAAI'94 Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems, New Orleans, November 1994.
• Enrico Franconi and Alessandra Giorgi and Fabio Pianesi (1994). A Mereological Characterization of Temporal and Aspectual Phenomena. In Carlos Martin-Vide, editor, Current Issues in Mathematical Linguistics, Elsevier, North-Holland Linguistic Series, pp. 269-278, April 1994. Extended and revised version of a previously published paper at IJCAI'93.
• O. Stock, G. Carenini, F. Cecconi, E. Franconi, A. Lavelli, B. Magnini, F. Pianesi, M. Ponzi, V. Samek-Lodovici and C. Strapparava (1993). AlFresco: Enjoying the combination of Natural Language Processing and Hypermedia for Information Exploration. In Mark T. Maybury, editor, Intelligent Multimedia Interfaces, MIT Press, pp. 197-224, chapter 9, 1993. Extended and revised version of a previously published paper at IJCAI'91.

Description Logics workshops

• Diego Calvanese, Giuseppe De Giacomo and Enrico Franconi (Eds.). Proceedings of the 2003 International Workshop on Description Logics (DL'03). CEUR Publication, Vol. 81, RWTH Aachen, Germany, September 2003.
• Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty (Eds.). Proceedings of the 1998 International Workshop on Description Logics (DL'98). Published by ITC-IRST, Trento, Italy, Ref. No. 9805-03, June 1998. Also electronically available as CEUR Publication, Vol. 11, RWTH Aachen, Germany, June 1998.
• Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset (Eds.). Proceedings of the 1997 International Workshop on Description Logics (DL'97). Published by Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, URA-CNRS 410, October 1997.
• Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider (Eds.). Proceedings of the 1996 International Workshop on Description Logics (DL'96). Published by AAAI Press, TR-WS-96-05, Cambridge, MA, November 1996.