Enrico Franconi

CoRR, 2022

Accessing Document Data Sources using Referring Expression Types.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Understanding Document Data Sources Using Ontologies with Referring Expressions.

[BibT_eX]

[DOI]

Proceedings of the AI 2022: Advances in Artificial Intelligence, 2022

2020

A Study on Information-Preserving Schema Transformations.

[BibT_eX]

[DOI]

Nonyelum Ndefo

Int. J. Semantic Comput., 2020

2019

OCL<sub>FO</sub>: first-order expressive OCL constraints for efficient integrity checking.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

A Formalisation and a Computational Characterisation of ORM Derivation Rules.

[BibT_eX]

[DOI]

Francesco Sportelli

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Effective Query Answering with Ontologies and DBoxes.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Towards a Logical Foundation of Reification in Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

On Preserving Information in Schema Transformations: A Constructive Perspective.

[BibT_eX]

[DOI]

Nonyelum Ndefo

Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018

First-Order Ontology Mediated Database Querying via Query Reformulation.

[BibT_eX]

[DOI]

Diego Calvanese

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).

[BibT_eX]

[DOI]

CoRR, 2017

A Decidable Very Expressive Description Logic for Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Formalisation of ORM Derivation Rules and Their Mapping into OWL.

[BibT_eX]

[DOI]

Francesco Sportelli

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Unique Solutions in Data Exchange under STS Mappings.

[BibT_eX]

[DOI]

Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015

Lossless Selection Views under Conditional Domain Constraints.

[BibT_eX]

[DOI]

Ingo Feinerer

IEEE Trans. Knowl. Data Eng., 2015

2014

Logic Foundations of the OCL Modelling Language.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Incremental Query Generation.

[BibT_eX]

[DOI]

Laura Perez-Beltrachini

Claire Gardent

Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, 2014

Unique Solutions in Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2014

Translatable Updates of Selection Views under Constant Complement.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2014

Lossless Selection Views under Constraints.

[BibT_eX]

[DOI]

Ingo Feinerer

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.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Beth Definability in Expressive Description Logics.

[BibT_eX]

[DOI]

Balder ten Cate

J. Artif. Intell. Res., 2013

Logic-based Reasoning Support for SBVR.

[BibT_eX]

[DOI]

Dmitry Solomakhin

Fundam. Informaticae, 2013

The Logic of Extensional RDFS.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

The Logic of Extensional RDFS (Extended Abstract).

[BibT_eX]

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Towards a Core ORM2 Language (Research Note).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

Lossless Horizontal Decomposition with Domain Constraints on Interpreted Attributes.

[BibT_eX]

[DOI]

Ingo Feinerer

Proceedings of the Big Data - 29th British National Conference on Databases, 2013

Effectively Updatable Conjunctive Views.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Pablo R. Fillottrani

Semantic Web, 2012

The View Update Problem Revisited

[BibT_eX]

[DOI]

CoRR, 2012

Ontology Constraints in Incomplete and Complete Data.

[BibT_eX]

[DOI]

Peter F. Patel-Schneider

Proceedings of the Semantic Web - ISWC 2012, 2012

The Algebra and the Logic for SQL Nulls.

[BibT_eX]

[DOI]

Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

The Definability Abduction Problem for Data Exchange - (Abstract).

[BibT_eX]

[DOI]

Evgeny Sherkhonov

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.

[BibT_eX]

[DOI]

Ronéll Alberts

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

ORM2: Formalisation and Encoding in OWL2.

[BibT_eX]

[DOI]

Dmitry Solomakhin

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Generalized Ontology-Based Production Systems.

[BibT_eX]

[DOI]

Riccardo Rosati

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.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

ORM2 Encoding into Description Logic (Extended Abstract).

[BibT_eX]

[DOI]

Dmitry Solomakhin

Proceedings of the 2012 International Workshop on Description Logics, 2012

Exact Query Reformulation over SHOQ DBoxes.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

On Checking Domain Independence.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

On the Logic of SQL Nulls.

[BibT_eX]

[DOI]

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

On the Translatability of View Updates.

[BibT_eX]

[DOI]

Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

2011

Query Answering with DBoxes is Hard.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the 7th Workshop on Methods for Modalities, 2011

A Constructive Framework for View Updating (Extended Abstract).

[BibT_eX]

Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Fixpoints in Temporal Description Logics.

[BibT_eX]

[DOI]

David Toman

Proceedings of the IJCAI 2011, 2011

Quelo: an Ontology-Driven Query Interface.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology.

[BibT_eX]

[DOI]

Pablo R. Fillottrani

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

On Finding Query Rewritings under Expressive Constraints.

[BibT_eX]

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Optimal Rewritings in Definitorially Complete Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Effective Query Rewriting with Ontologies over DBoxes.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Foundations of Temporal Conceptual Data Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

2008

Ontologies and databases: myths and challenges.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

The complexity and approximation of fixing numerical attributes in databases under integrity constraints.

[BibT_eX]

[DOI]

Inf. Syst., 2008

2007

Conceptual Schemas and Ontologies for Database Access: Myths and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

2006

The logic of RDF and SPARQL: a tutorial.

[BibT_eX]

[DOI]

Boontawee Suntisrivaraporn

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Reasoning Support for Ontology Design.

[BibT_eX]

[DOI]

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

An Intelligent Query Interface with Natural Language Support.

[BibT_eX]

[DOI]

Paolo Dongilli

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

The new ICOM Ontology Editor.

[BibT_eX]

[DOI]

Pablo R. Fillottrani

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Data complexity of answering conjunctive queries over SHIQ knowledge bases

[BibT_eX]

[DOI]

CoRR, 2005

A Unified Logical Framework for Rules (and Queries) with Ontologies.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Data Cleansing for Numerical Data Sets.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Introduction to Semantic Web Ontology Languages.

[BibT_eX]

[DOI]

Grigoris Antoniou

Frank van Harmelen

Proceedings of the Reasoning Web, 2005

Logical Reconstruction of RDF and Ontology Languages.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Logical Reconstruction of Normative RDF.

[BibT_eX]

[DOI]

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Rules and Queries with Ontologies: a Unifying Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Fixing Inconsistent Databases by Updating Numerical Attributes.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

The coDBz Information Integration System for Autonomous Data Sources.

[BibT_eX]

[DOI]

Andrei Lopatenko

Proceedings of the EMOI, 2005

2004

Editorial.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

Knowledge Representation with Ontologies: The Present and Future.

[BibT_eX]

[DOI]

Simon Buckingham Shum

IEEE Intell. Syst., 2004

Queries and Updates in the coDB Peer to Peer Database System.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Anand Kamble

Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 2004

The coDB Robust Peer-to-Peer Database System.

[BibT_eX]

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Rules and Queries with Ontologies: A Unified Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Database Technology - EDBT 2004 Workshops, 2004

An Ontology Based Visual Tool for Query Formulation Support.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Semantics Driven Support for Query Formulation.

[BibT_eX]

[DOI]

Paolo Dongilli

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

04171 Abstracts Collection - Logic Based Information Agents.

[BibT_eX]

[DOI]

Jürgen Dix

Thomas Eiter

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

The GMD Data Model and Algebra for Multidimensional Information.

[BibT_eX]

[DOI]

Anand Kamble

Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

Description Logics for Interoperability.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Martin Peim

Norman W. Paton

Data Knowl. Eng., 2003

A Robust and Computational Characterisation of Peer-to-Peer Database Systems

[BibT_eX]

[DOI]

CoRR, 2003

An Ontology Based Visual Tool for Query Formulation Support.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Fixpoint Extensions of Temporal Description Logics.

[BibT_eX]

[DOI]

David Toman

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Natural Language Processing.

[BibT_eX]

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Databases, 2003

The GMD Data Model for Multidimensional Information: A Brief Introduction.

[BibT_eX]

[DOI]

Anand Kamble

Proceedings of the Data Warehousing and Knowledge Discovery, 5th International Conference, 2003

Description Logics for Modeling Dynamic Information.

[BibT_eX]

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

2002

Combinations of Modal Logics.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2002

Query Processing with Description Logic Ontologies over Object-Wrapped Databases.

[BibT_eX]

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Querying Objects with Description Logics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Frank Wolter

Michael Zakharyaschev

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Estimating Soundness and Completeness over Queries Over Description Logics.

[BibT_eX]

[DOI]

Martin Peim

Norman W. Paton

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001

Reasoning over Conceptual Schemas and Queries in Temporal Databases.

[BibT_eX]

Michael Zakharyaschev

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Census Data Repair: a Challenging Application of Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Antonio Laureti Palma

Nicola Leone

Simona Perri

Francesco Scarcello

Proceedings of the Logic for Programming, 2001

The DLRUS Temporal Description Logic.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000

Editorial.

[BibT_eX]

[DOI]

Bernd-Holger Schlingloff

Log. J. IGPL, 2000

A survey of temporal extensions of description logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

Concept Based Design of Data Warehouses: The DWQ Demonstrators.

[BibT_eX]

[DOI]

Spyros Ligoudistianos

Panos Vassiliadis

Yannis Vassiliou

Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

A general framework for evolving schemata support.

[BibT_eX]

Fabio Grandi

Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

The i.com tool for Intelligent Conceptual Modeling.

[BibT_eX]

[DOI]

Gary Ng

Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Schema Evolution and Versioning: A Logical and Computational Characterisation.

[BibT_eX]

[DOI]

Fabio Grandi

Proceedings of the Database Schema Evolution and Meta-Modeling, 2000

Explaining ALC Subsumption.

[BibT_eX]

Alexander Borgida

Ian Horrocks

Proceedings of the ECAI 2000, 2000

Knowledge Representation meets Digital Libraries.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fabio Grandi

Proceedings of the Computational Logic, 2000

1999

Report on the 1998 International Workshop on Description Logics (DL'98).

[BibT_eX]

[DOI]

Giuseppe De Giacomo

Ian Horrocks

Deborah L. McGuinness

Werner Nutt

Peter F. Patel-Schneider

Christopher A. Welty

J. Log. Comput., 1999

Representing a robotic domain using temporal description logics.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 1999

Introducing Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Temporal E-R Modelling with description logics.

[BibT_eX]

Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Temporal ER Modeling with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1999

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation.

[BibT_eX]

[DOI]

Ulrike Sattler

Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

Explaining ALC Subsumption.

[BibT_eX]

[DOI]

Alexander Borgida

Ian Horrocks

Deborah L. McGuinness

Peter F. Patel-Schneider

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

Reasoning with Enhanced Temporal Entity-Relationship Models.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

A Temporal Description Logic for Reasoning about Actions and Plans.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1998

CRACK.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

Part-Whole Relations in Object-Centered Systems: An Overview.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1996

Open Problems with Part-Whole Relations.

[BibT_eX]

Nicola Guarino

Proceedings of the 1996 International Workshop on Description Logics, 1996

1994

Am empirical analysis of optimization techniques for terminological representation systems.

[BibT_eX]

[DOI]

Franz Baader

Bernhard Hollunder

Bernhard Nebel

Hans-Jürgen Profitlich

Appl. Intell., 1994

A Computational Account for a Description Logic of Time and Action.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Minds Mach., 1993

Tense and Aspect: A Mereological Approach.

[BibT_eX]

Alessandra Giorgi

Fabio Pianesi

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.

[BibT_eX]

Franz Baader

Bernhard Hollunder

Bernhard Nebel

Hans-Jürgen Profitlich

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Collective Entities and Relations in Concept Languages.

[BibT_eX]

[DOI]

Jürgen Allgayer

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.

[BibT_eX]

Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

1991

Extending Hybridity within the YAK Knowledge Representation System.

[BibT_eX]