Riccardo Rosati

CoRR, 2022

AI-based Data Preparation and Data Analytics in Healthcare: The Case of Diabetes.

[BibT_eX]

[DOI]

Marianna Maranghi

Aris Anagnostopoulos

Irene Cannistraci

Ioannis Chatzigiannakis

CoRR, 2022

Knowledge-based Confidentiality-preserving Query Answering.

[BibT_eX]

Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2022, 2022

2021

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

Privacy Preserving Query Answering in Description Logics Through Instance Indistinguishability (Discussion Paper).

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

On Information Disclosure in Ontology-based Data Access (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2021

2020

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

CQE in Description Logics Through Instance Indistinguishability (extended version).

[BibT_eX]

[DOI]

CoRR, 2020

Controlled Query Evaluation in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2020, 2020

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract).

[BibT_eX]

[DOI]

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

2019

Acquiring Ontology Axioms through Mappings to Data Sources.

[BibT_eX]

[DOI]

Future Internet, 2019

A novel approach to Controlled Query Evaluation in DL-Lite (DISCUSSION PAPER).

[BibT_eX]

[DOI]

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

Revisiting Controlled Query Evaluation in Description Logics.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2018

Ontology-Based Data Access and Integration.

[BibT_eX]

[DOI]

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

A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Ontology-Based Data Access: A Survey.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 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

Mapping Repair in Ontology-based Data Access Evolving Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, 2017

Mapping Repair in Ontology-based Data Access Evolving Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Updating DL-Lite Ontologies Through First-Order Queries.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

Semantic Analysis of R2RML Mappings for Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Query-Based Comparison of Mappings in Ontology-Based Data Access.

[BibT_eX]

[DOI]

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

Approaching OBDA Evolution through Mapping Repair.

[BibT_eX]

[DOI]

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

Bounded Implication for Existential Rules (Extended Abstract).

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

J. Web Semant., 2015

Optique: Zooming in on Big Data.

[BibT_eX]

[DOI]

Martin Giese

Ahmet Soylu

Guillermo Vega-Gorgojo

Computer, 2015

Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Discussion paper).

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 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

Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract).

[BibT_eX]

[DOI]

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

Query-based comparison of OBDA specifications.

[BibT_eX]

[DOI]

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

On the first-order rewritability of conjunctive queries over binary guarded existential rules.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

kyrie2: Query Rewriting under Extensional Constraints in ELHIO.

[BibT_eX]

[DOI]

Jose Mora

Óscar Corcho

Proceedings of the Semantic Web - ISWC 2014, 2014

Effective Computation of Maximal Sound Approximations of Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

Towards Mapping Analysis in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Tutorials.

[BibT_eX]

[DOI]

Alessio Lomuscio

Lawrence S. Moss

Ekaterina Ovchinnikova

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Visualization and Management of Mappings in Ontology-based Data Access (Progress Report).

[BibT_eX]

[DOI]

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

Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

MASTRO STUDIO: Managing Ontology-Based Data Access applications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2013

Data complexity of query answering in description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2013

The Logic of Extensional RDFS.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Optimization of Query Rewriting in Ontology-Based Data Access.

[BibT_eX]

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

The Logic of Extensional RDFS (Extended Abstract).

[BibT_eX]

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

Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Optique: Towards OBDA Systems for Industry.

[BibT_eX]

[DOI]

Mariano Rodriguez-Muro

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

Optique System: towards ontology and mapping management in OBDA solutions.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings, 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

New Inconsistency-Tolerant Semantics for Robust 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

2012

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

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Verification of Conjunctive Artifact-Centric Services.

[BibT_eX]

[DOI]

Riccardo De Masellis

Int. J. Cooperative Inf. Syst., 2012

Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Query Patterns for Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 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

Generalized Ontology-Based Production Systems.

[BibT_eX]

[DOI]

Enrico Franconi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Prexto: Query Rewriting under Extensional Constraints in DL - Lite.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2012

Query Rewriting under Extensional Constraints in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 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

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

A Broad Class of First-Order Rewritable Tuple-Generating Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 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

The MASTRO system for ontology-based data access.

[BibT_eX]

[DOI]

Mariano Rodriguez-Muro

Marco Ruzzi

Semantic Web, 2011

On the finite controllability of conjunctive query answering in databases under open-world assumption.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 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

On the Complexity of Dealing with Inconsistency in Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 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

Practical ABox Cleaning in DL-Lite (progress report).

[BibT_eX]

[DOI]

Giulia Masotti

Marco Ruzzi

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

Higher-Order Description Logics for Domain Metamodeling.

[BibT_eX]

[DOI]

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

2010

Reconciling description logics and rules.

[BibT_eX]

[DOI]

Boris Motik

J. ACM, 2010

Inconsistency-Tolerant Semantics for Description Logics.

[BibT_eX]

[DOI]

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

Improving Query Answering over DL-Lite Ontologies.

[BibT_eX]

[DOI]

Alessandro Almatelli

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Conjunctive Artifact-Centric Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

Reasoning about actions with sensing under qualitative and probabilistic uncertainty.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 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]

Mariano Rodriguez-Muro

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

Effective Ontology-Based Data Integration.

[BibT_eX]

[DOI]

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

On Higher-Order Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 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

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

Data Integration throughDL-LiteA Ontologies.

[BibT_eX]

[DOI]

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

On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 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

Finite Model Reasoning in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2008

Towards Higher-Order DL-Lite.

[BibT_eX]

[DOI]

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

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

A Faithful Integration of Description Logics with Logic Programming.

[BibT_eX]

[DOI]

Boris Motik

Proceedings of the IJCAI 2007, 2007

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

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

The Limits of Querying Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2007

On Conjunctive Query Answering in EL.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 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

Checking e-service consistency using Description Logics.

[BibT_eX]

[DOI]

Luigi Dragone

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

Enterprise modeling and Data Warehousing in Telecom Italia.

[BibT_eX]

[DOI]

Inf. Syst., 2006

Multi-modal nonmonotonic logics of minimal knowledge.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Can OWL and Logic Programming Live Together Happily Ever After?

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Integrating Ontologies and Rules: Semantic and Computational Issues.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2006

The limits and possibilities of combining Description Logics and Datalog.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

On the decidability and finite controllability of query processing in databases with incomplete information.

[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]

Sergio Tessaris

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 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

DL+log: Tight Integration of Description Logics and Disjunctive Datalog.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Multimodal Nonmonotonic Logics of Minimal Knowledge.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases.

[BibT_eX]

[DOI]

Marco Ruzzi

Proceedings of the Current Trends in Database Technology - EDBT 2006, 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

On the decidability and complexity of integrating ontologies and rules.

[BibT_eX]

[DOI]

J. Web Semant., 2005

A comprehensive semantic framework for data integration systems.

[BibT_eX]

[DOI]

J. Appl. Log., 2005

Generation of Strong Cyclic Plans with Incomplete Information and Sensing.

[BibT_eX]

Luca Iocchi

Intelligenza Artificiale, 2005

Efficiently Managing Data Intensive Ontologies.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2005, 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

Experimenting efficient query answering over inconsistent databases (extended abstract).

[BibT_eX]

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

Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 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

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic.

[BibT_eX]

[DOI]

Georg Gottlob

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Consistent query answering under key and exclusion dependencies: algorithms and experiments.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31, 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

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

Qualitative and probabilistic uncertainty in reasoning about actions with sensing.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 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

Tackling Inconsistencies in Data Integration through Source Preferences.

[BibT_eX]

[DOI]

Proceedings of the IQIS 2004, 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

Experimenting Data Integration with DIS@DIS.

[BibT_eX]

[DOI]

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

2003

Minimal Belief and Negation as Failure in Multi-Agent Systems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

DIS@DIS: A System for Semantic Data Integration under Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003

DIS@DIS: un Sistema per l'Integrazione Semantica dei Dati in Presenza di Vincoli di Integrità.

[BibT_eX]

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

Intensional query processing in data integration systems under integrity constraints.

[BibT_eX]

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

On the decidability and complexity of query answering over inconsistent and incomplete databases.

[BibT_eX]

[DOI]

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

Anwering Recursive Queries under Keys and Foreign Keys is Undecidable.

[BibT_eX]

[DOI]

Diego Calvanese

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Query rewriting and answering under constraints in data integration systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Description Logics for Databases.

[BibT_eX]

Alexander Borgida

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

Semantic Data Integration in P2P Systems.

[BibT_eX]

[DOI]

Proceedings of the Databases, 2003

Source Integration for Data Warehousing.

[BibT_eX]

[DOI]

Proceedings of the Multidimensional Databases: Problems and Solutions, 2003

2002

Description logics of minimal knowledge and negation as failure.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2002

Integrating Inconsistent and Incomplete Data Sources.

[BibT_eX]

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

Source inconsistency and incompleteness in data integration.

[BibT_eX]

[DOI]

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

2001

A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most.

[BibT_eX]

[DOI]

Stud Logica, 2001

Data Integration in Data Warehousing.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2001

Design and Implementation of Cognitive Soccer Robots.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2001: Robot Soccer World Cup V, 2001

2000

On the decidability and complexity of reasoning about only knowing.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Tableau Calculus for Only Knowing and Knowing at Most.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Planning with sensing, concurrency, and exogenous events: logical framework and implementation.

[BibT_eX]

Luca Iocchi

Proceedings of the KR 2000, 2000

Minimal Belief and Negation as Failure in Multi-Agent System.

[BibT_eX]

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999

Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support.

[BibT_eX]

Diego Calvanese

Netw. Inf. Syst. J., 1999

A Theory and Implementation of Cognitive Mobile Robots.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1999

Reasoning about Minimal Belief and Negation as Failure.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1999

Minimal Knowledge Approach to Reasoning about Actions and Sensing.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1999

Towards First-Order Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Model Checking for Nonmonotonic Logics: Algorithms and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 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

Towards expressive KR systems integrating datalog and description logics: preliminary report.

[BibT_eX]

[DOI]

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

Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

Autoepistemic Description Logics.

[BibT_eX]

[DOI]

AI Commun., 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

Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Embedding Minimal Knowledge into Negation as Failure.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases.

[BibT_eX]

[DOI]

Diego Calvanese

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

Information Integration: Conceptual Modeling and Reasoning Support.

[BibT_eX]

[DOI]

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

Reducing Query Answering to Satisfiability in Nonmonotonic Logics.

[BibT_eX]

[DOI]

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

1997

Ground Nonmonotonic Modal Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

Complexity of Only Knowing: The Propositional Case.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Autoepistemic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Planning with Sensing for a Mobile Robot.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Description Logic-baqsed Framrwork for Planning with Sensing Actions.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

Embedding Minimal Knowledge into Autoepistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Moving a Robot: The KR&R Approach at Work.

[BibT_eX]

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

A Uniform Tableaux Method for Nonmonotonic Modal Logics.

[BibT_eX]

[DOI]