default search action
Enrico 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
2020 – today
- 2024
- [c111]Théo Abgrall, Enrico Franconi:
Understanding the Semantic SQL Transducer. CAiSE Workshops 2024: 135-146 - [i11]Théo Abgrall, Enrico Franconi:
Understanding the Semantic SQL Transducer. CoRR abs/2407.07502 (2024) - 2023
- [c110]Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. Description Logics 2023 - 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]Enrico Franconi:
Knowledge Representation meets Digital Libraries. DELOS 2000 - [c22]Enrico Franconi, Fabio Grandi, Federica Mandreoli:
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. Description Logics 2000: 99-112 - [c21]Alexander Borgida, Enrico Franconi, Ian Horrocks:
Explaining ALC Subsumption. ECAI 2000: 209-213 - [c20]Enrico Franconi, Fabio Grandi, Federica Mandreoli:
Schema Evolution and Versioning: A Logical and Computational Characterisation. FMLDO 2000: 85-99 - [c19]Enrico Franconi, Gary Ng:
The i.com tool for Intelligent Conceptual Modeling. KRDB 2000: 45-53 - [c18]Enrico Franconi, Fabio Grandi, Federica Mandreoli:
A general framework for evolving schemata support. SEBD 2000: 371-384 - [c17]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
1990 – 1999
- 1999
- [j6]Alessandro Artale, Enrico Franconi:
Representing a robotic domain using temporal description logics. Artif. Intell. Eng. Des. Anal. Manuf. 13(2): 105-117 (1999) - [j5]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) - [c16]Alessandro Artale, Enrico Franconi:
Reasoning with Enhanced Temporal Entity-Relationship Models. DEXA Workshop 1999: 482-486 - [c15]Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider:
Explaining ALC Subsumption. Description Logics 1999 - [c14]Enrico Franconi, Ulrike Sattler:
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999: 13 - [c13]Alessandro Artale, Enrico Franconi:
Temporal ER Modeling with Description Logics. ER 1999: 81-95 - [c12]Alessandro Artale, Enrico Franconi:
Reasoning with enhanced Temporal Entity-Relationship Models. KRDB 1999: 1-5 - [c11]Alessandro Artale, Enrico Franconi:
Temporal E-R Modelling with description logics. SEBD 1999: 357-369 - [c10]Alessandro Artale, Enrico Franconi:
Introducing Temporal Description Logics. TIME 1999: 2-5 - [e4]Enrico Franconi, Michael Kifer:
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 [contents] - 1998
- [j4]Alessandro Artale, Enrico Franconi:
A Temporal Description Logic for Reasoning about Actions and Plans. J. Artif. Intell. Res. 9: 463-506 (1998) - [c9]Enrico Franconi:
CRACK. Description Logics 1998 - [e3]Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty:
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 [contents] - 1997
- [c8]Enrico Franconi:
Sofware Asset Classification and Retrieval with DL: the Intelligent Reuse Assistant. Description Logics 1997 - [e2]Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset:
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France. URA-CNRS 410, 1997 [contents] - 1996
- [j3]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) - [c7]Alessandro Artale, Enrico Franconi, Nicola Guarino:
Open Problems with Part-Whole Relations. Description Logics 1996: 70-73 - [e1]Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider:
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 [contents] - 1994
- [j2]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) - [c6]Alessandro Artale, Enrico Franconi:
A Computational Account for a Description Logic of Time and Action. KR 1994: 3-14 - 1993
- [j1]Enrico Franconi:
A treatment of plurals and plural quantifications based on a theory of collections. Minds Mach. 3(4): 453-474 (1993) - [c5]Enrico Franconi, Alessandra Giorgi, Fabio Pianesi:
Tense and Aspect: A Mereological Approach. IJCAI 1993: 1222-1229 - 1992
- [c4]Enrico Franconi:
Collective Entities and Relations in Concept Languages. Description Logics 1992: 31-35 - [c3]Jürgen Allgayer, Enrico Franconi:
Collective Entities and Relations in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 13-29 - [c2]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 - 1991
- [c1]Enrico Franconi:
Extending Hybridity within the YAK Knowledge Representation System. Description Logics 1991: 43-46
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-17 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint