Enrico Franconi

Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: The ICOM 3.0 intelligent conceptual modelling tool and methodology. Semantic Web 3(3): 293-306 (2012)

Enrico Franconi, Sergio Tessaris: On the Logic of SQL Nulls. AMW 2012: 114-128

Enrico Franconi, Paolo Guagliardo: On the Translatability of View Updates. AMW 2012: 154-167

Volha Kerhet, Enrico Franconi: On Checking Domain Independence. CILC 2012: 246-250

Enrico Franconi, Volha Kerhet, Nhung Ngo: Exact Query Reformulation over SHOQ DBoxes. Description Logics 2012

Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin: ORM2 Encoding into Description Logic (Extended Abstract). Description Logics 2012

Enrico Franconi, Volha Kerhet, Nhung Ngo: Exact Query Reformulation with First-Order Ontologies and Databases. JELIA 2012: 202-214

Riccardo Rosati, Enrico Franconi: Generalized Ontology-Based Production Systems. KR 2012

Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin: ORM2: Formalisation and Encoding in OWL2. OTM Workshops 2012: 368-378

Ronell Alberts, Enrico Franconi: An Integrated Method Using Conceptual Modelling to Generate an Ontology-based Query Mechanism. OWLED 2012

Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov: The Definability Abduction Problem for Data Exchange - (Abstract). RR 2012: 217-220

Enrico Franconi, Sergio Tessaris: The Algebra and the Logic for SQL Nulls. SEBD 2012: 163-176

Peter F. Patel-Schneider, Enrico Franconi: Ontology Constraints in Incomplete and Complete Data. International Semantic Web Conference (1) 2012: 444-459

Enrico Franconi, Paolo Guagliardo: The View Update Problem Revisited. CoRR abs/1211.3016 (2012)

Enrico Franconi, Yazmin Angélica Ibáñez-García, Inanç Seylan: Query Answering with DBoxes is Hard. Electr. Notes Theor. Comput. Sci. 278: 71-84 (2011)

Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca: Logic-based reasoning support for SBVR. CILC 2011: 311-325

Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. Description Logics 2011

Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris: Quelo: an Ontology-Driven Query Interface. Description Logics 2011

Enrico Franconi, David Toman: Fixpoints in Temporal Description Logics. IJCAI 2011: 875-880

Balder ten Cate, Enrico Franconi, Inanç Seylan: Beth Definability in Expressive Description Logics. IJCAI 2011: 1099-1106

Enrico Franconi, Paolo Guagliardo: A Constructive Framework for View Updating (Extended Abstract). SEBD 2011: 147-154

Alessandro Artale, Enrico Franconi: A Temporal Description Logic for Reasoning about Actions and Plans. CoRR abs/1105.5446 (2011)

Inanç Seylan, Enrico Franconi, Jos de Bruijn: Optimal Rewritings in Definitorially Complete Description Logics. Description Logics 2010

Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell: On Finding Query Rewritings under Expressive Constraints. SEBD 2010: 426-437

Alessandro Artale, Enrico Franconi: Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications 2009: 10-35

Inanç Seylan, Enrico Franconi, Jos de Bruijn: Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract). Description Logics 2009

Inanç Seylan, Enrico Franconi, Jos de Bruijn: Effective Query Rewriting with Ontologies over DBoxes. IJCAI 2009: 923-925

Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt (Eds.): Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689, Springer 2009, isbn 978-3-642-03753-5

Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: The complexity and approximation of fixing numerical attributes in databases under integrity constraints. Inf. Syst. 33(4-5): 407-434 (2008)

Enrico Franconi: Ontologies and databases: myths and challenges. PVLDB 1(2): 1518-1519 (2008)

Enrico Franconi: Conceptual Schemas and Ontologies for Database Access: Myths and Challenges. ER 2007: 22

Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (Eds.): Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250, CEUR-WS.org 2007

Enrico Franconi, Michael Kifer, Wolfgang May (Eds.): The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4519, Springer 2007, isbn 978-3-540-72666-1

Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: The new ICOM Ontology Editor. Description Logics 2006

Paolo Dongilli, Enrico Franconi: An Intelligent Query Interface with Natural Language Support. FLAIRS Conference 2006: 658-663

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006

Enrico Franconi, Sergio Tessaris: The logic of RDF and SPARQL: a tutorial. PODS 2006: 355

Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens (Eds.): Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings. IEEE Computer Society 2006, isbn 0-7695-2652-7

Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (Eds.): Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Lecture Notes in Computer Science 4126, Springer 2006, isbn 3-540-38409-X

Enrico Franconi, Andrei Lopatenko: The coDBz Information Integration System for Autonomous Data Sources. EMOI-INTEROP 2005

Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints. DBPL 2005: 262-278

Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Fixing Inconsistent Databases by Updating Numerical Attributes. DEXA Workshops 2005: 854-858

Sergio Tessaris, Enrico Franconi: Rules and Queries with Ontologies: a Unifying Logical Framework. Description Logics 2005

Enrico Franconi, Jos de Bruijn, Sergio Tessaris: Logical Reconstruction of Normative RDF. OWLED 2005

Jos de Bruijn, Enrico Franconi, Sergio Tessaris: Logical Reconstruction of RDF and Ontology Languages. PPSWR 2005: 65-71

Grigoris Antoniou, Enrico Franconi, Frank van Harmelen: Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21

Paolo Dongilli, Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris: A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. SEBD 2005: 75-86

Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Data Cleansing for Numerical Data Sets. SEBD 2005: 292-299

Enrico Franconi, Sergio Tessaris: A Unified Logical Framework for Rules (and Queries) with Ontologies. Rule Languages for Interoperability 2005

Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca (Eds.): Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005. 2005, isbn 88-548-0122-4

Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints. CoRR abs/cs/0503032 (2005)

Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases. CoRR abs/cs/0507059 (2005)

Christopher Brewster, Kieron O'Hara, Steve Fuller, Yorick Wilks, Enrico Franconi, Mark A. Musen, Jeremy Ellman, Simon Buckingham Shum: Knowledge Representation with Ontologies: The Present and Future. IEEE Intelligent Systems 19(1): 72-81 (2004)

Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi: Editorial. J. Log. Comput. 14(1): 1 (2004)

Enrico Franconi: Description Logics for Interoperability. CAiSE Workshops (3) 2004: 307-310

Enrico Franconi, Anand Kamble: The GMD Data Model and Algebra for Multidimensional Information. CAiSE 2004: 446-462

Paolo Dongilli, Enrico Franconi, Sergio Tessaris: Semantics Driven Support for Query Formulation. Description Logics 2004

Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris: An Ontology Based Visual Tool for Query Formulation Support. ECAI 2004: 308-312

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu: A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks. EDBT Workshops 2004: 446-455

Enrico Franconi, Sergio Tessaris: Rules and Queries with Ontologies: A Unified Logical Framework. PPSWR 2004: 50-60

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu: The coDB Robust Peer-to-Peer Database System. SEBD 2004: 382-393

Enrico Franconi, Anand Kamble: A Data Warehouse Conceptual Data Model. SSDBM 2004: 435-436

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu: Queries and Updates in the coDB Peer to Peer Database System. VLDB 2004: 1277-1280

Martin Peim, Enrico Franconi, Norman W. Paton: Estimating the quality of answers when querying over description logic ontologies. Data Knowl. Eng. 47(1): 105-129 (2003)

Alessandro Artale, Enrico Franconi, Federica Mandreoli: Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275

Enrico Franconi, Anand Kamble: The GMD Data Model for Multidimensional Information: A Brief Introduction. DaWaK 2003: 55-65

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini: A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. DBISP2P 2003: 64-76

Enrico Franconi: Natural Language Processing. Description Logic Handbook 2003: 450-461

Enrico Franconi, David Toman: Fixpoint Extensions of Temporal Description Logics. Description Logics 2003

Tiziana Catarci, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris: An Ontology Based Visual Tool for Query Formulation Support. OTM Workshops 2003: 32-33

Enrico Franconi, Anand Kamble: The GMD Data Model for Multidimensional Information: a brief introduction. SEBD 2003: 109-118

Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi (Eds.): Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003

Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini: A Robust and Computational Characterisation of Peer-to-Peer Database Systems. CoRR cs.DC/0308013 (2003)

Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002)

Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Querying Objects with Description Logics. Description Logics 2002

Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110

Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Querying Objects with Description Logics. KRDB 2002

Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Query Processing with Description Logic Ontologies over Object-Wrapped Databases. SEBD 2002: 42-49

Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble: Query Processing with Description Logic Ontologies Over Object-Wrapped Databases. SSDBM 2002: 27-36

Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001

Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello: Census Data Repair: a Challenging Application of Disjunctive Logic Programming. LPAR 2001: 561-578

Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214

Alessandro Artale, Enrico Franconi: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1-4): 171-210 (2000)

Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): 231-237 (2000)

Enrico Franconi, Fabio Grandi, Federica Mandreoli: A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Computational Logic 2000: 1048-1062

Enrico Franconi: Knowledge Representation meets Digital Libraries. DELOS Workshop: Information Seeking, Searching and Querying in Digital Libraries 2000

Enrico Franconi, Fabio Grandi, Federica Mandreoli: A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Description Logics 2000: 99-112

Alexander Borgida, Enrico Franconi, Ian Horrocks: Explaining ALC Subsumption. ECAI 2000: 209-213

Enrico Franconi, Fabio Grandi, Federica Mandreoli: Schema Evolution and Versioning: A Logical and Computational Characterisation. FMLDO 2000: 85-99

Enrico Franconi, Gary Ng: The i.com tool for Intelligent Conceptual Modeling. KRDB 2000: 45-53

Enrico Franconi, Fabio Grandi, Federica Mandreoli: A general framework for evolving schemata support. SEBD 2000: 371-384

Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, Yannis Vassiliou: Concept Based Design of Data Warehouses: The DWQ Demonstrators. SIGMOD Conference 2000: 591

Alessandro Artale, Enrico Franconi: Representing a robotic domain using temporal description logics. AI EDAM 13(2): 105-117 (1999)

Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty: Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999)

Alessandro Artale, Enrico Franconi: Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999: 482-486

Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999

Enrico Franconi, Ulrike Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999: 13

Alessandro Artale, Enrico Franconi: Temporal ER Modeling with Description Logics. ER 1999: 81-95

Alessandro Artale, Enrico Franconi: Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5

Alessandro Artale, Enrico Franconi: Temporal E-R Modelling with description logics. SEBD 1999: 357-369

Alessandro Artale, Enrico Franconi: Introducing Temporal Description Logics. TIME 1999: 2-5

Enrico Franconi, Michael Kifer (Eds.): Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999. CEUR Workshop Proceedings 21, CEUR-WS.org 1999

Alessandro Artale, Enrico Franconi: A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. (JAIR) 9: 463-506 (1998)

Enrico Franconi: CRACK. Description Logics 1998

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), IRST, Povo - Trento, Italy, June 6-8, 1998. CEUR Workshop Proceedings 11, CEUR-WS.org 1998

Enrico Franconi: Sofware Asset Classification and Retrieval with DL: the Intelligent Reuse Assistant. Description Logics 1997

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, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI. URA-CNRS 410, 1997

Alessandro Artale, Enrico Franconi, Nicola Guarino, Luca Pazzi: Part-Whole Relations in Object-Centered Systems: An Overview. Data Knowl. Eng. 20(3): 347-383 (1996)

Alessandro Artale, Enrico Franconi, Nicola Guarino: Open Problems with Part-Whole Relations. Description Logics 1996: 70-73

Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider (Eds.): Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA. AAAI Technical Report WS-96-05, AAAI Press 1996, isbn 1-57735-014-6

Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2): 109-132 (1994)

Alessandro Artale, Enrico Franconi: A Computational Account for a Description Logic of Time and Action. KR 1994: 3-14

Enrico Franconi, Alessandra Giorgi, Fabio Pianesi: Tense and Aspect: A Mereological Approach. IJCAI 1993: 1222-1229

Enrico Franconi: Collective Entities and Relations in Concept Languages. Description Logics 1992: 31-35

Jürgen Allgayer, Enrico Franconi: Collective Entities and Relations in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 13-29

Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992: 270-281

Enrico Franconi: Extending Hybridity within the YAK Knowledge Representation System. Description Logics 1991: 43-46