Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEnrico Franconi
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c109]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Understanding Document Data Sources Using Ontologies with Referring Expressions. AI 2022: 367-380- [c108]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Accessing Document Data Sources using Referring Expression Types. Description Logics 2022 - [i10]Enrico Franconi, Sergio Tessaris:
Relational Algebra and Calculus with SQL Null Values. CoRR abs/2202.10898 (2022) - 2020
- [j21]Nonyelum Ndefo, Enrico Franconi:
A Study on Information-Preserving Schema Transformations. Int. J. Semantic Comput. 14(1): 27-53 (2020)
2010 – 2019
- 2019
- [j20]Enrico Franconi, Alessandro Mosca
, Xavier Oriol, Guillem Rull, Ernest Teniente:
OCLFO: first-order expressive OCL constraints for efficient integrity checking. Softw. Syst. Model. 18(4): 2655-2678 (2019) - [c107]Nonyelum Ndefo, Enrico Franconi:
On Preserving Information in Schema Transformations: A Constructive Perspective. AIKE 2019: 57-64 - [c106]Alessandro Artale, Enrico Franconi:
Towards a Logical Foundation of Reification in Modelling Languages. Ontology Makes Sense 2019: 242-256 - [c105]Enrico Franconi, Volha Kerhet:
Effective Query Answering with Ontologies and DBoxes. Description Logic, Theory Combination, and All That 2019: 301-328 - [c104]Francesco Sportelli, Enrico Franconi:
A Formalisation and a Computational Characterisation of ORM Derivation Rules. OTM Conferences 2019: 678-694 - 2018
- [p2]Diego Calvanese, Enrico Franconi:
First-Order Ontology Mediated Database Querying via Query Reformulation. A Comprehensive Guide Through the Italian Database Research 2018: 169-185 - 2017
- [c103]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD 2017: 33 - [c102]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases. ISWC (1) 2017: 37-52 - [e14]Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel:
Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. CEUR Workshop Proceedings 1875, CEUR-WS.org 2017 [contents] - [e13]Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman:
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10364, Springer 2017, ISBN 978-3-319-61251-5 [contents] - [i9]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR abs/1707.08468 (2017) - 2016
- [c101]Nhung Ngo, Enrico Franconi:
Unique Solutions in Data Exchange under STS Mappings. AMW 2016 - [c100]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification. Description Logics 2016 - [c99]Francesco Sportelli, Enrico Franconi:
Formalisation of ORM Derivation Rules and Their Mapping into OWL. OTM Conferences 2016: 827-843 - [i8]Alessandro Artale, Enrico Franconi:
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version). CoRR abs/1604.00799 (2016) - 2015
- [j19]Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
Lossless Selection Views under Conditional Domain Constraints. IEEE Trans. Knowl. Data Eng. 27(2): 504-517 (2015) - [i7]Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
Lossless Selection Views under Conditional Domain Constraints. CoRR abs/1506.03625 (2015) - 2014
- [c98]Ingo Feinerer, Paolo Guagliardo, Enrico Franconi:
Lossless Selection Views under Constraints. AMW 2014 - [c97]Nhung Ngo, Enrico Franconi:
Unique Solutions in Data Exchange. DEXA (2) 2014: 281-294 - [c96]Enrico Franconi, Paolo Guagliardo:
Translatable Updates of Selection Views under Constant Complement. DEXA (2) 2014: 295-309 - [c95]Laura Perez-Beltrachini, Claire Gardent, Enrico Franconi:
Incremental Query Generation. EACL 2014: 183-191 - [c94]Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
Logic Foundations of the OCL Modelling Language. JELIA 2014: 657-664 - [c93]Nhung Ngo, Enrico Franconi:
Unique Solutions in Data Exchange. SEBD 2014: 185-192 - 2013
- [j18]Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca:
Logic-based Reasoning Support for SBVR. Fundam. Informaticae 124(4): 543-560 (2013) - [j17]Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. J. Artif. Intell. Res. 48: 347-414 (2013) - [j16]Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation over Databases with First-order and Description Logics Ontologies. J. Artif. Intell. Res. 48: 885-922 (2013) - [c92]Enrico Franconi, Paolo Guagliardo:
Effectively Updatable Conjunctive Views. AMW 2013 - [c91]Ingo Feinerer, Enrico Franconi, Paolo Guagliardo:
Lossless Horizontal Decomposition with Domain Constraints on Interpreted Attributes. BNCOD 2013: 77-91 - [c90]Enrico Franconi, Alessandro Mosca:
Towards a Core ORM2 Language (Research Note). OTM Workshops 2013: 448-456 - [c89]Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Riccardo Rosati, Giuseppe Pirrò:
The Logic of Extensional RDFS (Extended Abstract). SEBD 2013: 75-86 - [c88]Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Giuseppe Pirrò, Riccardo Rosati:
The Logic of Extensional RDFS. ISWC (1) 2013: 101-116 - 2012
- [j15]Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
The ICOM 3.0 intelligent conceptual modelling tool and methodology. Semantic Web 3(3): 293-306 (2012) - [c87]Enrico Franconi, Sergio Tessaris:
On the Logic of SQL Nulls. AMW 2012: 114-128 - [c86]Enrico Franconi, Paolo Guagliardo:
On the Translatability of View Updates. AMW 2012: 154-167 - [c85]Volha Kerhet, Enrico Franconi:
On Checking Domain Independence. CILC 2012: 246-250 - [c84]Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation over SHOQ DBoxes. Description Logics 2012 - [c83]Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin:
ORM2 Encoding into Description Logic (Extended Abstract). Description Logics 2012 - [c82]Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation with First-Order Ontologies and Databases. JELIA 2012: 202-214 - [c81]Riccardo Rosati, Enrico Franconi:
Generalized Ontology-Based Production Systems. KR 2012 - [c80]Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin:
ORM2: Formalisation and Encoding in OWL2. OTM Workshops 2012: 368-378 - [c79]Ronéll Alberts, Enrico Franconi:
An Integrated Method Using Conceptual Modelling to Generate an Ontology-based Query Mechanism. OWLED 2012 - [c78]Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov:
The Definability Abduction Problem for Data Exchange - (Abstract). RR 2012: 217-220 - [c77]Enrico Franconi, Sergio Tessaris:
The Algebra and the Logic for SQL Nulls. SEBD 2012: 163-176 - [c76]Peter F. Patel-Schneider, Enrico Franconi:
Ontology Constraints in Incomplete and Complete Data. ISWC (1) 2012: 444-459 - [i6]Enrico Franconi, Paolo Guagliardo:
The View Update Problem Revisited. CoRR abs/1211.3016 (2012) - 2011
- [c75]Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca:
Logic-based reasoning support for SBVR. CILC 2011: 311-325 - [c74]Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. Description Logics 2011 - [c73]Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris:
Quelo: an Ontology-Driven Query Interface. Description Logics 2011 - [c72]Enrico Franconi, David Toman:
Fixpoints in Temporal Description Logics. IJCAI 2011: 875-880 - [c71]Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. IJCAI 2011: 1099-1106 - [c70]Enrico Franconi, Paolo Guagliardo:
A Constructive Framework for View Updating (Extended Abstract). SEBD 2011: 147-154 - [c69]Enrico Franconi, Yazmín Angélica Ibáñez-García, Inanç Seylan:
Query Answering with DBoxes is Hard. M4M/LAMAS 2011: 71-84 - [i5]Alessandro Artale, Enrico Franconi:
A Temporal Description Logic for Reasoning about Actions and Plans. CoRR abs/1105.5446 (2011) - 2010
- [c68]Inanç Seylan, Enrico Franconi, Jos de Bruijn:
Optimal Rewritings in Definitorially Complete Description Logics. Description Logics 2010 - [c67]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
2000 – 2009
- 2009
- [c66]Alessandro Artale, Enrico Franconi:
Foundations of Temporal Conceptual Data Models. Conceptual Modeling: Foundations and Applications 2009: 10-35 - [c65]Inanç Seylan, Enrico Franconi, Jos de Bruijn:
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract). Description Logics 2009 - [c64]Inanç Seylan, Enrico Franconi, Jos de Bruijn:
Effective Query Rewriting with Ontologies over DBoxes. IJCAI 2009: 923-925 - [e12]Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt:
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 [contents] - 2008
- [j14]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) - [j13]Enrico Franconi:
Ontologies and databases: myths and challenges. Proc. VLDB Endow. 1(2): 1518-1519 (2008) - 2007
- [c63]Enrico Franconi:
Conceptual Schemas and Ontologies for Database Access: Myths and Challenges. ER 2007: 22 - [e11]Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris:
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 [contents] - [e10]Enrico Franconi, Michael Kifer, Wolfgang May:
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 [contents] - 2006
- [c62]Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
The new ICOM Ontology Editor. Description Logics 2006 - [c61]Paolo Dongilli, Enrico Franconi:
An Intelligent Query Interface with Natural Language Support. FLAIRS 2006: 658-663 - [c60]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 - [c59]Enrico Franconi, Sergio Tessaris:
The logic of RDF and SPARQL: a tutorial. PODS 2006: 355 - [e9]Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens:
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 [contents] - [e8]Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler:
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 [contents] - 2005
- [c58]Enrico Franconi, Andrei Lopatenko:
The coDBz Information Integration System for Autonomous Data Sources. EMOI-INTEROP 2005 - [c57]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 - [c56]Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
Fixing Inconsistent Databases by Updating Numerical Attributes. DEXA Workshops 2005: 854-858 - [c55]Sergio Tessaris, Enrico Franconi:
Rules and Queries with Ontologies: a Unifying Logical Framework. Description Logics 2005 - [c54]Enrico Franconi, Jos de Bruijn, Sergio Tessaris:
Logical Reconstruction of Normative RDF. OWLED 2005 - [c53]Jos de Bruijn, Enrico Franconi, Sergio Tessaris:
Logical Reconstruction of RDF and Ontology Languages. PPSWR 2005: 65-71 - [c52]Grigoris Antoniou, Enrico Franconi, Frank van Harmelen:
Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21 - [c51]Paolo Dongilli, Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. SEBD 2005: 75-86 - [c50]Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
Data Cleansing for Numerical Data Sets. SEBD 2005: 292-299 - [c49]Enrico Franconi, Sergio Tessaris:
A Unified Logical Framework for Rules (and Queries) with Ontologies. Rule Languages for Interoperability 2005 - [e7]Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca:
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 [contents] - [r1]Alessandro Artale, Enrico Franconi:
Temporal Description Logics. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 375-388 - [i4]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) - [i3]Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi:
Data complexity of answering conjunctive queries over SHIQ knowledge bases. CoRR abs/cs/0507059 (2005) - 2004
- [j12]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 Intell. Syst. 19(1): 72-81 (2004) - [j11]Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi:
Editorial. J. Log. Comput. 14(1): 1 (2004) - [c48]Enrico Franconi:
Description Logics for Interoperability. CAiSE Workshops (3) 2004: 307-310 - [c47]Enrico Franconi, Anand Kamble:
The GMD Data Model and Algebra for Multidimensional Information. CAiSE 2004: 446-462 - [c46]Paolo Dongilli, Enrico Franconi, Sergio Tessaris:
Semantics Driven Support for Query Formulation. Description Logics 2004 - [c45]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 - [c44]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 - [c43]Enrico Franconi, Sergio Tessaris:
Rules and Queries with Ontologies: A Unified Logical Framework. PPSWR 2004: 50-60 - [c42]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
The coDB Robust Peer-to-Peer Database System. SEBD 2004: 382-393 - [c41]Enrico Franconi, Anand Kamble:
A Data Warehouse Conceptual Data Model. SSDBM 2004: 435-436 - [c40]Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu:
Queries and Updates in the coDB Peer to Peer Database System. VLDB 2004: 1277-1280 - [e6]Jürgen Dix, Thomas Eiter, Enrico Franconi:
Logic Based Information Agents, 18.04. - 23.04.2004. Dagstuhl Seminar Proceedings 04171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - [i2]Jürgen Dix, Thomas Eiter, Enrico Franconi:
04171 Abstracts Collection - Logic Based Information Agents. Logic Based Information Agents 2004 - 2003
- [j10]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) - [c39]Alessandro Artale, Enrico Franconi, Federica Mandreoli:
Description Logics for Modeling Dynamic Information. Logics for Emerging Applications of Databases 2003: 239-275 - [c38]Enrico Franconi, Anand Kamble:
The GMD Data Model for Multidimensional Information: A Brief Introduction. DaWaK 2003: 55-65 - [c37]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 - [c36]Enrico Franconi, David Toman:
Fixpoint Extensions of Temporal Description Logics. Description Logics 2003 - [c35]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 - [c34]Enrico Franconi, Anand Kamble:
The GMD Data Model for Multidimensional Information: a brief introduction. SEBD 2003: 109-118 - [p1]Enrico Franconi:
Natural Language Processing. Description Logic Handbook 2003: 450-461 - [e5]Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003 [contents] - [i1]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) - 2002
- [j9]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) - [c33]Martin Peim, Enrico Franconi, Norman W. Paton:
Estimating Soundness and Completeness over Queries Over Description Logics. Description Logics 2002 - [c32]Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
Querying Objects with Description Logics. Description Logics 2002 - [c31]Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev:
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110 - [c30]Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
Querying Objects with Description Logics. KRDB 2002 - [c29]Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
Query Processing with Description Logic Ontologies over Object-Wrapped Databases. SEBD 2002: 42-49 - [c28]Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble:
Query Processing with Description Logic Ontologies Over Object-Wrapped Databases. SSDBM 2002: 27-36 - 2001
- [c27]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
The DLRUS Temporal Description Logic. Description Logics 2001 - [c26]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 - [c25]Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214 - 2000
- [j8]Alessandro Artale, Enrico Franconi:
A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1-4): 171-210 (2000) - [j7]Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff:
Editorial. Log. J. IGPL 8(3): 231-237 (2000) - [c24]Enrico Franconi, Fabio Grandi, Federica Mandreoli:
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Computational Logic 2000: 1048-1062 - [c23]