Enrico Franconi

According to our database1, Enrico Franconi authored at least 127 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
OCLFO: first-order expressive OCL constraints for efficient integrity checking.
Software and Systems Modeling, 2019

A Formalisation and a Computational Characterisation of ORM Derivation Rules.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Effective Query Answering with Ontologies and DBoxes.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Towards a Logical Foundation of Reification in Modelling Languages.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

On Preserving Information in Schema Transformations: A Constructive Perspective.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018
First-Order Ontology Mediated Database Querying via Query Reformulation.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
A Decidable Very Expressive Description Logic for Databases (Extended Version).
CoRR, 2017

A Decidable Very Expressive Description Logic for Databases.
Proceedings of the Semantic Web - ISWC 2017, 2017

A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

2016
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version).
CoRR, 2016

Formalisation of ORM Derivation Rules and Their Mapping into OWL.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification.
Proceedings of the 29th International Workshop on Description Logics, 2016

Unique Solutions in Data Exchange under STS Mappings.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015
Lossless Selection Views under Conditional Domain Constraints.
IEEE Trans. Knowl. Data Eng., 2015

2014
Logic Foundations of the OCL Modelling Language.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Incremental Query Generation.
Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, 2014

Unique Solutions in Data Exchange.
Proceedings of the Database and Expert Systems Applications, 2014

Translatable Updates of Selection Views under Constant Complement.
Proceedings of the Database and Expert Systems Applications, 2014

Lossless Selection Views under Constraints.
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2013
Exact Query Reformulation over Databases with First-order and Description Logics Ontologies.
J. Artif. Intell. Res., 2013

Beth Definability in Expressive Description Logics.
J. Artif. Intell. Res., 2013

Logic-based Reasoning Support for SBVR.
Fundam. Inform., 2013

The Logic of Extensional RDFS.
Proceedings of the Semantic Web - ISWC 2013, 2013

The Logic of Extensional RDFS (Extended Abstract).
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Towards a Core ORM2 Language (Research Note).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

Lossless Horizontal Decomposition with Domain Constraints on Interpreted Attributes.
Proceedings of the Big Data - 29th British National Conference on Databases, 2013

Effectively Updatable Conjunctive Views.
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012
The ICOM 3.0 intelligent conceptual modelling tool and methodology.
Semantic Web, 2012

The View Update Problem Revisited
CoRR, 2012

Ontology Constraints in Incomplete and Complete Data.
Proceedings of the Semantic Web - ISWC 2012, 2012

The Algebra and the Logic for SQL Nulls.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

The Definability Abduction Problem for Data Exchange - (Abstract).
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

An Integrated Method Using Conceptual Modelling to Generate an Ontology-based Query Mechanism.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

ORM2: Formalisation and Encoding in OWL2.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Generalized Ontology-Based Production Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Exact Query Reformulation with First-Order Ontologies and Databases.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

ORM2 Encoding into Description Logic (Extended Abstract).
Proceedings of the 2012 International Workshop on Description Logics, 2012

Exact Query Reformulation over SHOQ DBoxes.
Proceedings of the 2012 International Workshop on Description Logics, 2012

On Checking Domain Independence.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

On the Logic of SQL Nulls.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

On the Translatability of View Updates.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

2011
Query Answering with DBoxes is Hard.
Electr. Notes Theor. Comput. Sci., 2011

A Constructive Framework for View Updating (Extended Abstract).
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Fixpoints in Temporal Description Logics.
Proceedings of the IJCAI 2011, 2011

Quelo: an Ontology-Driven Query Interface.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
On Finding Query Rewritings under Expressive Constraints.
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Optimal Rewritings in Definitorially Complete Description Logics.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Effective Query Rewriting with Ontologies over DBoxes.
Proceedings of the IJCAI 2009, 2009

Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract).
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Foundations of Temporal Conceptual Data Models.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

2008
Ontologies and databases: myths and challenges.
PVLDB, 2008

The complexity and approximation of fixing numerical attributes in databases under integrity constraints.
Inf. Syst., 2008

2007
Conceptual Schemas and Ontologies for Database Access: Myths and Challenges.
Proceedings of the Conceptual Modeling, 2007

2006
The logic of RDF and SPARQL: a tutorial.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Reasoning Support for Ontology Design.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

An Intelligent Query Interface with Natural Language Support.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

The new ICOM Ontology Editor.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005
Temporal Description Logics.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Data complexity of answering conjunctive queries over SHIQ knowledge bases
CoRR, 2005

A Unified Logical Framework for Rules (and Queries) with Ontologies.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Data Cleansing for Numerical Data Sets.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Introduction to Semantic Web Ontology Languages.
Proceedings of the Reasoning Web, 2005

Logical Reconstruction of RDF and Ontology Languages.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Logical Reconstruction of Normative RDF.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Rules and Queries with Ontologies: a Unifying Logical Framework.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Fixing Inconsistent Databases by Updating Numerical Attributes.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

The coDBz Information Integration System for Autonomous Data Sources.
Proceedings of the EMOI, 2005

2004
Editorial.
J. Log. Comput., 2004

Knowledge Representation with Ontologies: The Present and Future.
IEEE Intelligent Systems, 2004

Queries and Updates in the coDB Peer to Peer Database System.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

A Data Warehouse Conceptual Data Model.
Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 2004

The coDB Robust Peer-to-Peer Database System.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Rules and Queries with Ontologies: A Unified Logical Framework.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks.
Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

An Ontology Based Visual Tool for Query Formulation Support.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Semantics Driven Support for Query Formulation.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

04171 Abstracts Collection - Logic Based Information Agents.
Proceedings of the Logic Based Information Agents, 18.04. - 23.04.2004, 2004

The GMD Data Model and Algebra for Multidimensional Information.
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

Description Logics for Interoperability.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2003
Estimating the quality of answers when querying over description logic ontologies.
Data Knowl. Eng., 2003

A Robust and Computational Characterisation of Peer-to-Peer Database Systems
CoRR, 2003

An Ontology Based Visual Tool for Query Formulation Support.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Fixpoint Extensions of Temporal Description Logics.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Natural Language Processing.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.
Proceedings of the Databases, 2003

The GMD Data Model for Multidimensional Information: A Brief Introduction.
Proceedings of the Data Warehousing and Knowledge Discovery, 5th International Conference, 2003

Description Logics for Modeling Dynamic Information.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

2002
Combinations of Modal Logics.
Artif. Intell. Rev., 2002

Query Processing with Description Logic Ontologies over Object-Wrapped Databases.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Querying Objects with Description Logics.
Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), 2002

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Estimating Soundness and Completeness over Queries Over Description Logics.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001
Reasoning over Conceptual Schemas and Queries in Temporal Databases.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Census Data Repair: a Challenging Application of Disjunctive Logic Programming.
Proceedings of the Logic for Programming, 2001

The DLRUS Temporal Description Logic.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000
Editorial.
Logic Journal of the IGPL, 2000

A survey of temporal extensions of description logics.
Ann. Math. Artif. Intell., 2000

Concept Based Design of Data Warehouses: The DWQ Demonstrators.
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

A general framework for evolving schemata support.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

The i.com tool for Intelligent Conceptual Modeling.
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Schema Evolution and Versioning: A Logical and Computational Characterisation.
Proceedings of the Database Schema Evolution and Meta-Modeling, 2000

Explaining ALC Subsumption.
Proceedings of the ECAI 2000, 2000

Knowledge Representation meets Digital Libraries.
Proceedings of the First DELOS Network of Excellence Workshop on Information Seeking, 2000

A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases.
Proceedings of the Computational Logic, 2000

1999
Report on the 1998 International Workshop on Description Logics (DL'98).
J. Log. Comput., 1999

Representing a robotic domain using temporal description logics.
AI EDAM, 1999

Introducing Temporal Description Logics.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Temporal E-R Modelling with description logics.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Temporal ER Modeling with Description Logics.
Proceedings of the Conceptual Modeling, 1999

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation.
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

Explaining ALC Subsumption.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Reasoning with Enhanced Temporal Entity-Relationship Models.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998
A Temporal Description Logic for Reasoning about Actions and Plans.
J. Artif. Intell. Res., 1998

CRACK.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997
Sofware Asset Classification and Retrieval with DL: the Intelligent Reuse Assistant.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
Part-Whole Relations in Object-Centered Systems: An Overview.
Data Knowl. Eng., 1996

Open Problems with Part-Whole Relations.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1994
Am empirical analysis of optimization techniques for terminological representation systems.
Appl. Intell., 1994

A Computational Account for a Description Logic of Time and Action.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993
A treatment of plurals and plural quantifications based on a theory of collections.
Minds and Machines, 1993

Tense and Aspect: A Mereological Approach.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Collective Entities and Relations in Concept Languages.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

Collective Entities and Relations in Concept Languages.
Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

1991
Extending Hybridity within the YAK Knowledge Representation System.
Proceedings of the International Workshop on Terminological Logics 1991, 1991


  Loading...