| 2011 |
|---|
| 83 | A Temporal Description Logic for Reasoning about Actions and Plans. Alessandro Artale, Enrico Franconi. CoRR (abs/1105.5446) (2011). Web SearchBibTeXDownload |
| 82 | Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris. Description Logics 2011. Web SearchBibTeXDownload |
| 81 | Quelo: an Ontology-Driven Query Interface. Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris. Description Logics 2011. Web SearchBibTeXDownload |
| 80 | Query Answering with DBoxes is Hard. Enrico Franconi, Yazmin Angélica Ibáñez-García, Inanç Seylan. Electr. Notes Theor. Comput. Sci. (278): 71-84 (2011). Web SearchBibTeXDownload |
| 79 | Fixpoints in Temporal Description Logics. Enrico Franconi, David Toman. IJCAI 2011, 875-880. Web SearchBibTeXDownload |
| 78 | Beth Definability in Expressive Description Logics. Balder ten Cate, Enrico Franconi, Inanç Seylan. IJCAI 2011, 1099-1106. Web SearchBibTeXDownload |
| 2010 |
|---|
| 77 | Optimal Rewritings in Definitorially Complete Description Logics. Inanç Seylan, Enrico Franconi, Jos de Bruijn. Description Logics 2010. Web SearchBibTeXDownload |
| 76 | On Finding Query Rewritings under Expressive Constraints. Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell. SEBD 2010, 426-437. Web SearchBibTeX |
| 2009 |
|---|
| 75 | Foundations of Temporal Conceptual Data Models. Alessandro Artale, Enrico Franconi. Conceptual Modeling: Foundations and Applications 2009, 10-35. Web SearchBibTeXDownload |
| 74 | Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract). Inanç Seylan, Enrico Franconi, Jos de Bruijn. Description Logics 2009. Web SearchBibTeXDownload |
| 73 | Effective Query Rewriting with Ontologies over DBoxes. Inanç Seylan, Enrico Franconi, Jos de Bruijn. IJCAI 2009, 923-925. Web SearchBibTeXDownload |
| 2008 |
|---|
| 72 | The complexity and approximation of fixing numerical attributes in databases under integrity constraints. Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko. Inf. Syst. (33): 407-434 (2008). Web SearchBibTeXDownload |
| 71 | Ontologies and databases: myths and challenges. Enrico Franconi. PVLDB (1): 1518-1519 (2008). Web SearchBibTeXDownload |
| 2007 |
|---|
| 70 | Conceptual Schemas and Ontologies for Database Access: Myths and Challenges. Enrico Franconi. ER 2007, 22. Web SearchBibTeXDownload |
| 2006 |
|---|
| 69 | The new ICOM Ontology Editor. Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris. Description Logics 2006. Web SearchBibTeXDownload |
| 68 | An Intelligent Query Interface with Natural Language Support. Paolo Dongilli, Enrico Franconi. FLAIRS Conference 2006, 658-663. Web SearchBibTeX |
| 67 | Reasoning Support for Ontology Design. Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris. OWLED 2006. Web SearchBibTeXDownload |
| 66 | The logic of RDF and SPARQL: a tutorial. Enrico Franconi, Sergio Tessaris. PODS 2006, 355. Web SearchBibTeXDownload |
| 2005 |
|---|
| 65 | Data complexity of answering conjunctive queries over SHIQ knowledge bases. Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi. CoRR (abs/cs/0507059) (2005). Web SearchBibTeXDownload |
| 64 | Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints. Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko. DBPL 2005, 262-278. Web SearchBibTeXDownload |
| 63 | Rules and Queries with Ontologies: a Unifying Logical Framework. Sergio Tessaris, Enrico Franconi. Description Logics 2005. Web SearchBibTeXDownload |
| 62 | Fixing Inconsistent Databases by Updating Numerical Attributes. Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko. DEXA Workshops 2005, 854-858. Web SearchBibTeXDownload |
| 61 | The coDBz Information Integration System for Autonomous Data Sources. Enrico Franconi, Andrei Lopatenko. EMOI-INTEROP 2005. Web SearchBibTeXDownload |
| 60 | Logical Reconstruction of Normative RDF. Enrico Franconi, Jos de Bruijn, Sergio Tessaris. OWLED 2005. Web SearchBibTeXDownload |
| 59 | Logical Reconstruction of RDF and Ontology Languages. Jos de Bruijn, Enrico Franconi, Sergio Tessaris. PPSWR 2005, 65-71. Web SearchBibTeXDownload |
| 58 | Introduction to Semantic Web Ontology Languages. Grigoris Antoniou, Enrico Franconi, Frank van Harmelen. Reasoning Web 2005, 1-21. Web SearchBibTeXDownload |
| 57 | A Unified Logical Framework for Rules (and Queries) with Ontologies. Enrico Franconi, Sergio Tessaris. Rule Languages for Interoperability 2005. Web SearchBibTeXDownload |
| 56 | Data Cleansing for Numerical Data Sets. Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko. SEBD 2005, 292-299. Web SearchBibTeX |
| 55 | A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. Paolo Dongilli, Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris. SEBD 2005, 75-86. Web SearchBibTeX |
| 2004 |
|---|
| 54 | The GMD Data Model and Algebra for Multidimensional Information. Enrico Franconi, Anand Kamble. CAiSE 2004, 446-462. Web SearchBibTeXDownload |
| 53 | Description Logics for Interoperability. Enrico Franconi. CAiSE Workshops (3) 2004, 307-310. Web SearchBibTeX |
| 52 | Semantics Driven Support for Query Formulation. Paolo Dongilli, Enrico Franconi, Sergio Tessaris. Description Logics 2004. Web SearchBibTeXDownload |
| 51 | An Ontology Based Visual Tool for Query Formulation Support. Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Sergio Tessaris, Sergio Tessaris. ECAI 2004, 308-312. Cited by 56Web SearchBibTeX |
| 50 | A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks. Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu. EDBT Workshops 2004, 446-455. Web SearchBibTeXDownload |
| 49 | Knowledge Representation with Ontologies: The Present and Future. Christopher Brewster, Kieron O'Hara, Steve Fuller, Yorick Wilks, Enrico Franconi, Mark A. Musen, Jeremy Ellman, Simon Buckingham Shum. IEEE Intelligent Systems (19): 72-81 (2004). Web SearchBibTeXDownload |
| 48 | Rules and Queries with Ontologies: A Unified Logical Framework. Enrico Franconi, Sergio Tessaris. PPSWR 2004, 50-60. Web SearchBibTeXDownload |
| 47 | The coDB Robust Peer-to-Peer Database System. Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu. SEBD 2004, 382-393. Web SearchBibTeX |
| 46 | A Data Warehouse Conceptual Data Model. Enrico Franconi, Anand Kamble. SSDBM 2004, 435-436. Web SearchBibTeXDownload |
| 45 | Queries and Updates in the coDB Peer to Peer Database System. Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu. VLDB 2004, 1277-1280. Web SearchBibTeXDownload |
| 2003 |
|---|
| 44 | A Robust and Computational Characterisation of Peer-to-Peer Database Systems. Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini. CoRR (cs.DC/0308013) (2003). Web SearchBibTeXDownload |
| 43 | Estimating the quality of answers when querying over description logic ontologies. Martin Peim, Enrico Franconi, Norman W. Paton. Data Knowl. Eng. (47): 105-129 (2003). Cited by 5Web SearchBibTeXDownload |
| 42 | The GMD Data Model for Multidimensional Information: A Brief Introduction. Enrico Franconi, Anand Kamble. DaWaK 2003, 55-65. Web SearchBibTeXDownload |
| 41 | A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini. DBISP2P 2003, 64-76. Web SearchBibTeXDownload |
| 40 | Natural Language Processing. Enrico Franconi, Maria Teresa Pazienza, Yorick Wilks, Terry Winograd, William A. Woods. Description Logic Handbook 2003, 450-461. Web SearchBibTeX |
| 39 | Fixpoint Extensions of Temporal Description Logics. Enrico Franconi, David Toman. Description Logics 2003. Cited by 7Web SearchBibTeXDownload |
| 38 | Description Logics for Modeling Dynamic Information. Alessandro Artale, Enrico Franconi, Federica Mandreoli. Logics for Emerging Applications of Databases 2003, 239-275. Web SearchBibTeX |
| 37 | An Ontology Based Visual Tool for Query Formulation Support. Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Sergio Tessaris, Sergio Tessaris. OTM Workshops 2003, 32-33. Cited by 56Web SearchBibTeXDownload |
| 36 | The GMD Data Model for Multidimensional Information: a brief introduction. Enrico Franconi, Anand Kamble. SEBD 2003, 109-118. Web SearchBibTeX |
| 2002 |
|---|
| 35 | Combinations of Modal Logics. Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke. Artif. Intell. Rev. (17): 1-20 (2002). Web SearchBibTeXDownload |
| 34 | Querying Objects with Description Logics. Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble. Description Logics 2002. Web SearchBibTeXDownload |
| 33 | A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev. JELIA 2002, 98-110. Web SearchBibTeXDownload |
| 32 | Query Processing with Description Logic Ontologies over Object-Wrapped Databases. Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble. SEBD 2002, 42-49. Web SearchBibTeX |
| 31 | Query Processing with Description Logic Ontologies Over Object-Wrapped Databases. Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble. SSDBM 2002, 27-36. Cited by 30Web SearchBibTeXDownload |
| 2001 |
|---|
| 30 | The DLRUS Temporal Description Logic. Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev. Description Logics 2001. Web SearchBibTeXDownload |
| 29 | Census Data Repair: a Challenging Application of Disjunctive Logic Programming. Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello. LPAR 2001, 561-578. Web SearchBibTeXDownload |
| 28 | Reasoning over Conceptual Schemas and Queries in Temporal Databases. Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev. SEBD 2001, 201-214. Web SearchBibTeX |
| 2000 |
|---|
| 27 | A survey of temporal extensions of description logics. Alessandro Artale, Enrico Franconi. Ann. Math. Artif. Intell. (30): 171-210 (2000). Web SearchBibTeXDownload |
| 26 | Knowledge Representation meets Digital Libraries. Enrico Franconi. DELOS Workshop: Information Seeking, Searching and Querying in Digital Libraries 2000. Web SearchBibTeXDownload |
| 25 | A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Enrico Franconi, Fabio Grandi, Federica Mandreoli. Description Logics 2000, 99-112. Web SearchBibTeXDownload |
| 24 | Explaining ALC Subsumption. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. ECAI 2000, 209-213. Web SearchBibTeX |
| 23 | Schema Evolution and Versioning: A Logical and Computational Characterisation. Enrico Franconi, Fabio Grandi, Federica Mandreoli. FMLDO 2000, 85-99. Web SearchBibTeXDownload |
| 22 | The i.com tool for Intelligent Conceptual Modeling. Enrico Franconi, Gary Ng. KRDB 2000, 45-53. Web SearchBibTeXDownload |
| 21 | A general framework for evolving schemata support. Enrico Franconi, Fabio Grandi, Federica Mandreoli. SEBD 2000, 371-384. Web SearchBibTeX |
| 20 | Concept Based Design of Data Warehouses: The DWQ Demonstrators. Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, Yannis Vassiliou. SIGMOD Conference 2000, 591. Cited by 20Web SearchBibTeX |
| 1999 |
|---|
| 19 | Representing a robotic domain using temporal description logics. Alessandro Artale, Enrico Franconi. AI EDAM (13): 105-117 (1999). Web SearchBibTeXDownload |
| 18 | Explaining ALC Subsumption. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. Description Logics 1999. Web SearchBibTeXDownload |
| 17 | Reasoning with Enhanced Temporal Entity-Relationship Models. Alessandro Artale, Enrico Franconi. DEXA Workshop 1999, 482-486. Web SearchBibTeXDownload |
| 16 | A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. Enrico Franconi, Ulrike Sattler. DMDW 1999, 13. Web SearchBibTeXDownload |
| 15 | Temporal ER Modeling with Description Logics. Alessandro Artale, Enrico Franconi. ER 1999, 81-95. Web SearchBibTeXDownload |
| 14 | Report on the 1998 International Workshop on Description Logics (DL'98). Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty. J. Log. Comput. (9): 449-456 (1999). Web SearchBibTeXDownload |
| 13 | Reasoning with enhanced Temporal Entity-Relationship Models. Alessandro Artale, Enrico Franconi. KRDB 1999, 1-5. Web SearchBibTeXDownload |
| 12 | Temporal E-R Modelling with description logics. Alessandro Artale, Enrico Franconi. SEBD 1999, 357-369. Web SearchBibTeX |
| 11 | Introducing Temporal Description Logics. Alessandro Artale, Enrico Franconi. TIME 1999, 2-5. Web SearchBibTeXDownload |
| 1998 |
|---|
| 10 | A Temporal Description Logic for Reasoning about Actions and Plans. Alessandro Artale, Enrico Franconi. J. Artif. Intell. Res. (JAIR) (9): 463-506 (1998). Web SearchBibTeXDownload |
| 1997 |
|---|
| 9 | Sofware Asset Classification and Retrieval with DL: the Intelligent Reuse Assistant. Enrico Franconi. Description Logics 1997. Web SearchBibTeXDownload |
| 1996 |
|---|
| 8 | Part-Whole Relations in Object-Centered Systems: An Overview. Alessandro Artale, Enrico Franconi, Nicola Guarino, Luca Pazzi. Data Knowl. Eng. (20): 347-383 (1996). Web SearchBibTeXDownload |
| 7 | Open Problems with Part-Whole Relations. Alessandro Artale, Enrico Franconi, Nicola Guarino. Description Logics 1996, 70-73. Web SearchBibTeX |
| 1994 |
|---|
| 6 | Am empirical analysis of optimization techniques for terminological representation systems. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi. Appl. Intell. (4): 109-132 (1994). Web SearchBibTeXDownload |
| 5 | A Computational Account for a Description Logic of Time and Action. Alessandro Artale, Enrico Franconi. KR 1994, 3-14. Web SearchBibTeX |
| 1993 |
|---|
| 4 | Tense and Aspect: A Mereological Approach. Enrico Franconi, Alessandra Giorgi, Fabio Pianesi. IJCAI 1993, 1222-1229. Web SearchBibTeX |
| 1992 |
|---|
| 3 | Collective Entities and Relations in Concept Languages. Jürgen Allgayer. Description Logics 1992, 31-35. Web SearchBibTeX |
| 2 | An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi. KR 1992, 270-281. Web SearchBibTeX |
| 1991 |
|---|
| 1 | Extending Hybridity within the YAK Knowledge Representation System. Enrico Franconi. Description Logics 1991, 43-46. Web SearchBibTeX |
