Maurizio Lenzerini

Francesco Leotta

Massimo Mecella

Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021

2020

Performance model's development: a novel approach encompassing ontology-based data access and visual analytics.

[BibT_eX]

[DOI]

Scientometrics, 2020

Metaquerying made practical for OWL 2 QL ontologies.

[BibT_eX]

[DOI]

Inf. Syst., 2020

Non-Monotonic Ontology-based Abstractions of Data Services.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Ontology-based explanation of classifiers.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2020 Joint Conference, 2020

Extending DL-LiteR TBoxes with View Definitions.

[BibT_eX]

[DOI]

Manuel Namici

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Epistemic Integrity Constraints for Ontology-Based Data Management.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Answering Conjunctive Queries with Inequalities in DL-Liteℛ.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Acquiring Ontology Axioms through Mappings to Data Sources.

[BibT_eX]

[DOI]

Future Internet, 2019

Reverse Engineering of Data Services.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Semantic Characterization of Data Services through Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

On Queries with Inequalities in DL-LiteR≠.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Direct and Reverse Rewriting in Data Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

The What-To-Ask Problem for Ontology-Based Peers.

[BibT_eX]

[DOI]

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

Exploiting Ontologies for Explaining Data Sources Semantics.

[BibT_eX]

[DOI]

Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019

Challenges, Approaches and Solutions in Data Integration for Research and Innovation.

[BibT_eX]

[DOI]

Cinzia Daraio

Proceedings of the Springer Handbook of Science and Technology Indicators., 2019

2018

Ontology-Based Data Access and Integration.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Managing Data through the Lens of an Ontology.

[BibT_eX]

[DOI]

AI Mag., 2018

2018 ACM PODS Alberto O. Mendelzon Test-of-Time Award.

[BibT_eX]

[DOI]

Wim Martens

Nicole Schweikardt

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

A Framework for Explaining Query Answers in DL-Lite.

[BibT_eX]

[DOI]

Federico Croce

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Using Ontologies for Semantic Data Integration.

[BibT_eX]

[DOI]

Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017

Semantic technology for open data publishing.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 2017

On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 2017

Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime.

[BibT_eX]

[DOI]

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

2016

Ontology-Based Search of Genomic Metadata.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2016

The advantages of an Ontology-Based Data Management approach: openness, interoperability and data quality.

[BibT_eX]

[DOI]

Scientometrics, 2016

Data integration for research and innovation policy: an Ontology-Based Data Management approach.

[BibT_eX]

[DOI]

Scientometrics, 2016

A Higher-Order Semantics for Metaquerying in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Regular Open APIs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Answering Metaqueries over Hi (OWL 2 QL) Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Inconsistency-tolerant query answering in ontology-based data access.

[BibT_eX]

[DOI]

J. Web Semant., 2015

Crossing the boundary of "meta" in Conceptual Modeling (Discussion paper).

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Connecting Big Scholarly Data With Science of Science Policy: An Ontology-Based-Data- Management (Obdm) Approach.

[BibT_eX]

Proceedings of the 15th International Conference on Scientometrics and Informetrics, Istanbul, Turkey, June 29, 2015

Sapientia: the Ontology of Multi-dimensional Research Assessment.

[BibT_eX]

Proceedings of the 15th International Conference on Scientometrics and Informetrics, Istanbul, Turkey, June 29, 2015

Data Complexity of Query Answering in Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A higher-order semantics for OWL 2 QL ontologies (Extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Developing Ontology-based Data Management for the Italian Public Debt.

[BibT_eX]

Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Making Metaquerying Practical for Hi(DL - Lite R ) Knowledge Bases.

[BibT_eX]

[DOI]

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

Ontology-based Data Management for the Italian Public Debt.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

Reducing global consistency to local consistency in Ontology-based Data Access.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Practical Query Answering over Hi (DL-LiteR) Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Data Quality in Ontology-based Data Access: The Case of Consistency.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

MASTRO STUDIO: Managing Ontology-Based Data Access applications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2013

On simplification of schema mappings.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2013

Semantic technologies for industry: From knowledge modeling and integration to intelligent applications.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

The scientific legacy of Marco Cadoli in Artificial Intelligence.

[BibT_eX]

[DOI]

Marco Schaerf

Intelligenza Artificiale, 2013

Data complexity of query answering in description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Optimization of Query Rewriting in Ontology-Based Data Access.

[BibT_eX]

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

Optimizing query rewriting in ontology-based data access.

[BibT_eX]

[DOI]

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Synthesizing Extensional Constraints in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Ontology-Based Data Access: The Experience at the Italian Department of Treasury.

[BibT_eX]

[DOI]

Proceedings of the Industrial Track of the Conference on Advanced Information Systems Engineering 2013 (CAiSE'13), 2013

Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Data Integration under Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012

Query Processing under GLAV Mappings for Relational and Graph Databases.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2012

View-based query answering in Description Logics: Semantics and complexity.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Mastro: Ontology-Based Data Access at Work (Extended Abstract).

[BibT_eX]

[DOI]

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

MASTRO: A Reasoner for Effective Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Updating inconsistent Description Logic knowledge bases.

[BibT_eX]

[DOI]

Domenico Fabio Savo

Proceedings of the ECAI 2012, 2012

Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Ontology-Based Data Access with Dynamic TBoxes in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar).

[BibT_eX]

[DOI]

Phokion G. Kolaitis

Nicole Schweikardt

SIGMOD Rec., 2011

The MASTRO system for ontology-based data access.

[BibT_eX]

[DOI]

Marco Ruzzi

Domenico Fabio Savo

Semantic Web, 2011

Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract).

[BibT_eX]

Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Query Rewriting for Inconsistent DL-Lite Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Simplifying schema mappings.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2011

Mapping Data to Higher-Order Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

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

On the Evolution of the Instance Level of DL-Lite Knowledge Bases.

[BibT_eX]

[DOI]

Domenico Fabio Savo

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

Ontology-based data management.

[BibT_eX]

[DOI]

Proceedings of the 2011 Workshop on Data Infrastructures for Supporting Information Retrieval Evaluation, 2011

Higher-Order Description Logics for Domain Metamodeling.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

View Synthesis from Schema Mappings

[BibT_eX]

[DOI]

CoRR, 2010

Experimenting Ontology-based Data Access with Mastro (Extended Abstract).

[BibT_eX]

Vittorio Romagnoli

Marco Ruzzi

Gabriele Stella

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

Inconsistency-Tolerant Semantics for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Senso Comune.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Language Resources and Evaluation, 2010

Mastro at Work: Experiences on Ontology-Based Data Access.

[BibT_eX]

[DOI]

Vittorio Romagnoli

Marco Ruzzi

Gabriele Stella

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

Node Selection Query Languages for Trees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Foreword to TODS SIGMOD/PODS 2008 special issue.

[BibT_eX]

[DOI]

Dennis E. Shasha

Z. Meral Özsoyoglu

ACM Trans. Database Syst., 2009

On Instance-level Update and Erasure in Description Logic Ontologies.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Ontologies and Databases: The DL-Lite Approach.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

On Higher-Order Description Logics.

[BibT_eX]

[DOI]

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

An Automata-Theoretic Approach to Regular XPath.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 2009

Conceptual Modeling for Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Using OWL in Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008

Conjunctive query containment and answering under description logic constraints.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Database theory column: report on PODS 2008.

[BibT_eX]

[DOI]

SIGACT News, 2008

Linking Data to Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2008

Inconsistency tolerance in P2P data integration: An epistemic logic approach.

[BibT_eX]

[DOI]

Inf. Syst., 2008

Automatic Service Composition and Synthesis: the Roman Model.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2008

Data Integration throughDL-LiteA Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

View-Based Query Answering over Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Path-Based Identification Constraints in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Towards Higher-Order DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

View-based query processing: On the relationship between rewriting, answering and losslessness.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Ontology-based Database Access.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

On reconciling data exchange, data integration, and peer data management.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Can OWL Model Football Leagues?

[BibT_eX]

[DOI]

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

EQL-Lite: Effective First-Order Query Processing in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Actions and Programs over Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

On the Approximation of Instance Level Update and Erasure in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Linking Data to Ontologies: The Description Logic DL-Lite_A.

[BibT_eX]

[DOI]

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

ODBASE 2006 International Conference (Ontologies, DataBases, and Applications of Semantics) PC Co-chairs' Message.

[BibT_eX]

[DOI]

Erich J. Neuhold

V. S. Subrahmanian

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Epistemic First-order Queries over Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

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

On the Update of Description Logic Ontologies at the Instance Level.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Automatic Service Composition Based on Behavioral Descriptions.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2005

Models for semantic interoperability in service-oriented architectures.

[BibT_eX]

[DOI]

Guido Vetere

IBM Syst. J., 2005

Conjunctive Query Containment and Answering under Description Logics Constraints

[BibT_eX]

[DOI]

CoRR, 2005

Efficiently Managing Data Intensive Ontologies.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2005, 2005

Logical Foundations for Data Integration.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.

[BibT_eX]

[DOI]

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

Tailoring OWL for Data Intensive Ontologies.

[BibT_eX]

[DOI]

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

Data Integration: a Challenging ASP Application.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Modeling Data & Processes for Service Specifications in Colombo.

[BibT_eX]

[DOI]

Proceedings of the EMOI, 2005

DL-Lite: Tractable Description Logics for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

QuOnto: Querying Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Data integration under integrity constraints.

[BibT_eX]

[DOI]

Inf. Syst., 2004

: A Tool for Automatic Composition ofServices Based on Logics of Programs.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Query Reformulation over Ontology-based Peers.

[BibT_eX]

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

Logical Foundations of Peer-To-Peer Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

What to Ask to a Peer: Ontolgoy-based Query Reformulation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Quality-aware data Integration in Peer-to-Peer Systems.

[BibT_eX]

Proceedings of the IQIS 2004, 2004

Tackling Inconsistencies in Data Integration through Source Preferences.

[BibT_eX]

[DOI]

Proceedings of the IQIS 2004, 2004

Synthesis of underspecified composite e-services based on automated reasoning.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2004

Hyper: A Framework for Peer-to-Peer Data Integration on Grids.

[BibT_eX]

[DOI]

Proceedings of the Semantics for Grid Databases, 2004

DL-Lite: Practical Reasoning for Rich Dls.

[BibT_eX]

[DOI]

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

Principles of P2P Data Integration.

[BibT_eX]

[DOI]

Proceedings of the DIWeb2004, 2004

Ontologies for Interoperability.

[BibT_eX]

Michele Missikoff

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

2003

Reasoning on regular path queries.

[BibT_eX]

[DOI]

SIGMOD Rec., 2003

A Foundational Vision of e-Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services, 2003

Query Containment Using Views.

[BibT_eX]

Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

View-based query containment.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003

Automatic Composition of E-services That Export Their Behavior.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2003

Description Logics for Databases.

[BibT_eX]

Alexander Borgida

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

e-Service Composition by Description Logics Based Reasoning.

[BibT_eX]

[DOI]

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

Semantic Data Integration in P2P Systems.

[BibT_eX]

[DOI]

Proceedings of the Databases, 2003

IBIS: Semantic Data Integration at Work.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Source Integration for Data Warehousing.

[BibT_eX]

[DOI]

Proceedings of the Multidimensional Databases: Problems and Solutions, 2003

2002

Rewriting of Regular Expressions and Regular Path Queries.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2002

On the Role of Integrity Constraints in Data Integration.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2002

The multilingual thesaurus of LAURIN.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Integrating Inconsistent and Incomplete Data Sources.

[BibT_eX]

Domenico Lembo

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

IBIS: Data Integration at Work.

[BibT_eX]

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

Data Integration: A Theoretical Perspective.

[BibT_eX]

[DOI]

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Lossless Regular Views.

[BibT_eX]

[DOI]

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Description Logics: Foundations for Class-based Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Incompleteness and inconsistency in information integration.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), 2002

Source inconsistency and incompleteness in data integration.

[BibT_eX]

[DOI]

Domenico Lembo

Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), 2002

A Formal Framework for Reasoning on UML Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

On the Expressive Power of Data Integration Systems.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2002

2ATAs make DLs easy.

[BibT_eX]

[DOI]

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

Description Logics for Information Integration.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB).

[BibT_eX]

[DOI]

SIGMOD Rec., 2001

Introduction to the special issue on data extraction, cleaning, and reconciliation.

[BibT_eX]

[DOI]

Mokrane Bouzeghoub

Inf. Syst., 2001

Data Integration in Data Warehousing.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2001

A Framework for Ontology Integration.

[BibT_eX]

[DOI]

Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Data Integration Needs Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Preface.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Identification Constraints and Functional Dependencies in Description Logics.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Accessing Data Integration Systems through Conceptual Schemas.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2001

Ontology of Integration and Integration of Ontologies.

[BibT_eX]

[DOI]

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

View-Based Query Answering and Query Containment over Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

Data Integration Is Harder than You Thought.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

LOCAL++: A C++ framework for local search algorithms.

[BibT_eX]

[DOI]

Andrea Schaerf

Softw. Pract. Exp., 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

Local constraint in semistructured data schemas.

[BibT_eX]

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

View-Based Query Processing for Regular Path Queries with Inverse.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

View-Based Query Processing and Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

What is View-Based Query Rewriting?

[BibT_eX]

[DOI]

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

Semistructured data schemas with expressive constraints.

[BibT_eX]

[DOI]

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

Containment of Conjunctive Regular Path Queries with Inverse.

[BibT_eX]

Proceedings of the KR 2000, 2000

Answering Regular Path Queries Using Views.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Keys for Free in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

What is Query Rewriting?

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents IV, 2000

Answering Queries Using Views over Description Logics Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Modeling and Querying Semi-Structured data .

[BibT_eX]

Netw. Inf. Syst. J., 1999

Representing and Reasoning on XML Documents: A Description Logic Approach.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Unifying Class-Based Representation Formalisms.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1999

Query Answering Using Views for Data Integration over the Web.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Data Integration and Warehousing in Telecom Italia.

[BibT_eX]

[DOI]

Stefano Trisolini

Proceedings of the SIGMOD 1999, 1999

Rewriting of Regular Path Queries.

[BibT_eX]

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

Answering Queries Using Views in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), 1999

Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Description Logics and Their Relationships with Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1999

A Principled Approach to Data Integration and Reconciliation in Data Warehousing.

[BibT_eX]

[DOI]

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

Queries and Constraints on Semi-structured Data.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1999

1998

AL-log: Integrating Datalog and Description Logics.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 1998

An Epistemic Operator for Description Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1998

OLAP and Data Warehousing in Statistical Databases (Panel).

[BibT_eX]

Proceedings of the 10th International Conference on Scientific and Statistical Database Management, 1998

Extending Semi-Structured Data.

[BibT_eX]

Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

On the Decidability of Query Containment under Constraints.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Description Logics and their Applications.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Description Logic Framework for Information Integration.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

WAG: Web-At-a-Glance.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Semi-structured Data with Constraints and Incomplete Information.

[BibT_eX]

[DOI]

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

Source Integration in Data Warehousing.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Description Logics for Conceptual Data Modeling.

[BibT_eX]

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

Information Integration: Conceptual Modeling and Reasoning Support.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998

What can Knowledge Representation do for Semi-Structured Data?

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

A Uniform Framework for Concept Definitions in Description Logics.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1997

The Complexity of Concept Languages.

[BibT_eX]

[DOI]

Inf. Comput., 1997

Representing and Reasoning on SGML Documents.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Conjunctive Query Containment in Description Logics with n-ary Relations.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

Datalog and Description Logics: Expressive Power.

[BibT_eX]

Luigi Palopoli

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

TBox and ABox Reasoning in Expressive Description Logics.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Representing SGML Documents in Description Logics.

[BibT_eX]

Proceedings of the 1996 International Workshop on Description Logics, 1996

Datalog and Description Logics: Expressive Power - Preliminary Report.

[BibT_eX]

Luigi Palopoli

Proceedings of the 1996 International Workshop on Description Logics, 1996

1995

Conceptual Language for Statistical Data Modeling.

[BibT_eX]

[DOI]

Giovanna D'Angiolini

Data Knowl. Eng., 1995

Increasing the Power of Structured Objects.

[BibT_eX]

[DOI]

Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995

What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Structured Objects: Modeling and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1995

PDL-based framework for reasoning about actions.

[BibT_eX]

[DOI]

Proceedings of the Topics in Artificial Intelligence, 1995

1994

Deduction in Concept Languages: From Subsumption to Instance Checking.

[BibT_eX]

[DOI]

J. Log. Comput., 1994

The Complexity of Propositional Closed World Reasoning and Circumscription.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1994

Making Object-Oriented Schemas More Expressive.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Description Logics for Schema Level Reasoning in Databases (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994

A Unified Framework for Class-Based Representation Formalisms.

[BibT_eX]

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

On the Interaction Between ISA and Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Data Engineering, 1994

Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Deductive Entity-Relationship Modeling.

[BibT_eX]

[DOI]

Giuseppe Di Battista

IEEE Trans. Knowl. Data Eng., 1993

Representing and Using Interschema Knowledge in Cooperative Information Systems.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1993

Interschema Knowledge in Cooperative Information Systems.

[BibT_eX]

Alberto Marchetti-Spaccamela

Proceedings of the International Conference on Intelligent and Cooperative Information Systems, 1993

1992

The Complexity of Existential Quantification in Concept Languages.

[BibT_eX]

[DOI]

Artif. Intell., 1992

Adding Epistemic Operators to Concept Languages.

[BibT_eX]

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

Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.

[BibT_eX]

[DOI]

Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991

Type data bases with incomplete information.

[BibT_eX]

[DOI]

Inf. Sci., 1991

Querying Concept-based Knowledge Bases.

[BibT_eX]

[DOI]

Andrea Schaerf

Proceedings of the Processing Declarative Knowledge, 1991

The Complexity of Concept Languages (Extended Abstract).

[BibT_eX]

Proceedings of the International Workshop on Terminological Logics 1991, 1991

Tractable Concept Languages.

[BibT_eX]

Proceedings of the International Workshop on Terminological Logics 1991, 1991

A Hybrid System with Datalog and Concept Languages.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

Concept Languages as Query Languages.

[BibT_eX]

[DOI]

Andrea Schaerf

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

On the satisfiability of dependency constraints in entity-relationship schemata.

[BibT_eX]

[DOI]

Paolo Nobili

Inf. Syst., 1990

Nonmonotonic reasoning.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 1990

Using Terminological Reasoning in Hybrid Systems.

[BibT_eX]

[DOI]

Francesco M. Donini

AI Commun., 1990

Concept Description Language for Statistical Data Modeling.

[BibT_eX]

[DOI]

Giovanna D'Angiolini

Proceedings of the 16th International Conference on Very Large Data Bases, 1990

An Efficient Method for Hybrid Deduction.

[BibT_eX]

Francesco M. Donini

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

The Complexity of Closed World Reasoning and Circumscription.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

A Deductive Method for Entity-Relationship Modeling.

[BibT_eX]

[DOI]

Giuseppe Di Battista

Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989

1988

TermLog: a Logic for Terminological Knowledge.

[BibT_eX]

Francesco M. Donini

Proceedings of the Methodologies for Intelligent Systems, 1988

Object Modeling Based on Logic.

[BibT_eX]

Giuseppe Di Battista

Proceedings of the Entity-Relationship Approach: A Bridge to the User, 1988

Belief Revision as Meta-Reasoning.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987

Formal Treatment of Incomplete Information in Type Data Bases.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1987

Covering and Disjointness Constraints in Type Networks.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data Engineering, 1987

Class Hierarchies and Their Complexity.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Programming Languages, 1987

1986

A Comparative Analysis of Methodologies for Database Schema Integration.

[BibT_eX]

[DOI]

Shamkant B. Navathe

ACM Comput. Surv., 1986

1985

SERM: Semantic Entity-Relationship Model.

[BibT_eX]

Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985

1984

A Methodology for Data Schema Integration in the Entity Relationship Model.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1984

1983

Cardinality Constraints in the Entity-Relationship Model.

[BibT_eX]

Gaetano Santucci

Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

Views Integration.

[BibT_eX]

Marina Moscarini

Proceedings of the Methodology and Tools for Data Base Design., 1983

INCOD-DTE: A System for Interative Conceptual Design of Data, Transactions and Events.

[BibT_eX]

Paolo Atzeni

Enzo Carboni

Valeria De Antonellis

Fulvio Villanelli

Bruna Zonta

Proceedings of the Methodology and Tools for Data Base Design., 1983

1982

A computer-aided methodology for conceptual data-base design.

[BibT_eX]

[DOI]

Gaetano Santucci

Inf. Syst., 1982

1981

INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model.

[BibT_eX]

Proceedings of the Entity-Relationship Approach to Information Modeling and Analysis, 1981

INCOD: A system for Interactive Conceptual Data Base Design.

[BibT_eX]

[DOI]