Diego Calvanese

Affiliations:
  • Free University of Bozen-Bolzano, Italy


According to our database1, Diego Calvanese authored at least 365 papers between 1994 and 2021.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2019, "For contributions to description logics and their applications in data management and software engineering".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Model Completeness, Uniform Interpolants and Superposition Calculus.
J. Autom. Reason., 2021

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version).
CoRR, 2021

INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision].
CoRR, 2021

Editorial for Special Issue of Journal of Big Data Research on "Big Data Meets Knowledge Graphs".
Big Data Res., 2021

Realizing Ontology-based Reusable Interfaces for Data Access via Virtual Knowledge Graphs.
Proceedings of the 14th Biannual Conference of the Italian SIGCHI Chapter, 2021

ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns.
Proceedings of the Advanced Information Systems Engineering, 2021

2020
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019).
ACM SIGLOG News, 2020

SMT-based verification of data-aware processes: a model-theoretic approach.
Math. Struct. Comput. Sci., 2020

Interview with Diego Calvanese.
Künstliche Intell., 2020

A Framework Uniting Ontology-Based Geodata Integration and Geovisual Analytics.
ISPRS Int. J. Geo Inf., 2020

Mapping Patterns for Virtual Knowledge Graphs.
CoRR, 2020

Counting Query Answers over a DL-Lite Knowledge Base (extended version).
CoRR, 2020

The Virtual Knowledge Graph System Ontop.
Proceedings of the Semantic Web - ISWC 2020, 2020

Serving Bosch Production Data as Virtual KGs.
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Semantic Integration of Bosch Manufacturing Data Using Virtual Knowledge Graphs.
Proceedings of the Semantic Web - ISWC 2020, 2020

Counting Query Answers over a DL-Lite Knowledge Base.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research).
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

Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions.
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

The Virtual Knowledge Graph System Ontop (Extended Abstract).
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

Combined Covers and Beth Definability.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
On expansion and contraction of DL-Lite knowledge bases.
J. Web Semant., 2019

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.
Theory Pract. Log. Program., 2019

VIG: Data scaling for OBDA benchmarks.
Semantic Web, 2019

Ontology-based data access - Beyond relational sources.
Intelligenza Artificiale, 2019

Virtual Knowledge Graphs: An Overview of Systems and Use Cases.
Data Intell., 2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).
CoRR, 2019

Enriching Ontology-based Data Access with Provenance (Extended Version).
CoRR, 2019

Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.
CoRR, 2019

Ontology-based access to temporal data with Ontop: A framework proposal.
Int. J. Appl. Math. Comput. Sci., 2019

Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Enriching Ontology-based Data Access with Provenance.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Representing and Querying Norm States Using Temporal Ontology-Based Data Access.
Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

Model Completeness, Covers and Superposition (Abridged Version).
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Modeling and In-Database Management of Relational, Data-Aware Processes.
Proceedings of the Advanced Information Systems Engineering, 2019

Model Completeness, Covers and Superposition.
Proceedings of the Automated Deduction - CADE 27, 2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.
Proceedings of the Business Process Management - 17th International Conference, 2019

The What-To-Ask Problem for Ontology-Based Peers.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

From Model Completeness to Verification of Data Aware Processes.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Enriching Data Models with Behavioral Constraints.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018
Ontology-Based Data Access and Integration.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Semantics, Analysis and Simplification of DMN Decision Tables.
Inf. Syst., 2018

First-order <i>μ</i>-calculus over generic transition systems and applications to the situation calculus.
Inf. Comput., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

Modelling and Enactment of Data-aware Processes.
CoRR, 2018

Verification of Data-Aware Processes via Array-Based Systems (Extended Version).
CoRR, 2018

Quantifier Elimination for Database Driven Verification.
CoRR, 2018

Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version).
CoRR, 2018

Efficient Handling of SPARQL OPTIONAL for OBDA.
Proceedings of the Semantic Web - ISWC 2018, 2018

Formalization and Complexity of MongoDB Queries (Extended Abstract).
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Ontology-Based Data Access: A Survey.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Expressivity and Complexity of MongoDB Queries.
Proceedings of the 21st International Conference on Database Theory, 2018

Efficient Ontology-Based Data Integration with Canonical IRIs.
Proceedings of the Semantic Web - 15th International Conference, 2018

Conceptual Schema Transformation in Ontology-Based Data Access.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

Semantic Technologies for Data Access and Integration.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

Verification of Fixed-Topology Declarative Distributed Systems with External Data.
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

A Generalized Framework for Ontology-Based Data Access.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 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
Managing Change in Graph-Structured Data Using Description Logics.
ACM Trans. Comput. Log., 2017

Ontop: Answering SPARQL queries over relational databases.
Semantic Web, 2017

Semantics and Analysis of DMN Decision Tables.
EMISA Forum, 2017

Cost-Driven Ontology-Based Data Access (Extended Version).
CoRR, 2017

Metric Temporal Logic for Ontology-Based Data Access over Log Data.
CoRR, 2017

Cost-Driven Ontology-Based Data Access.
Proceedings of the Semantic Web - ISWC 2017, 2017

OBDA for Log Extraction in Process Mining.
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Semantic DMN: Formalizing Decision Models with Domain Knowledge.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology.
Proceedings of the Business Information Systems - 20th International Conference, 2017

Formalizing MongoDB Queries.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops.
Proceedings of the New Trends in Databases and Information Systems, 2017

2016
Soundness of data-aware, case-centric processes.
Int. J. Softw. Tools Technol. Transf., 2016

Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec., 2016

Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire.
Eng. Appl. Artif. Intell., 2016

Data Scaling in OBDA Benchmarks: The VIG Approach.
CoRR, 2016

A Formal Presentation of MongoDB (Extended Version).
CoRR, 2016

Knowledge base exchange: The case of OWL 2 QL.
Artif. Intell., 2016

Fast and Simple Data Scaling for OBDA Benchmarks.
Proceedings of the Workshop on Benchmarking Linked Data (BLINK 2016) co-located with the 15th International Semantic Web Conference (ISWC), 2016

An Evaluation of VIG with the BSBM Benchmark.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Towards Practical OBDA with Temporal Ontologies - (Position Paper).
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

On First-Order μ-Calculus over Situation Calculus Action Theories.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Regular Open APIs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Plan Synthesis for Knowledge and Action Bases.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Verification of Evolving Graph-structured Data under Expressive Path Constraints.
Proceedings of the 19th International Conference on Database Theory, 2016

Handling Inconsistencies Due to Class Disjointness in SPARQL Updates.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

Synthesizing and Executing Plans in Knowledge and Action Bases.
Proceedings of the 29th International Workshop on Description Logics, 2016

Managing Change in Graph-structured Data Using Description Logics.
Proceedings of the 29th International Workshop on Description Logics, 2016

Virtual OBDA over Expressive Ontologies: Rewritings and Approximations.
Proceedings of the 29th International Workshop on Description Logics, 2016

OBDA Beyond Relational DBs: A Study for MongoDB.
Proceedings of the 29th International Workshop on Description Logics, 2016


Towards Data- and Norm-Aware Multiagent Systems.
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

OBDA Over Non-Relational Databases.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

Beyond OWL 2 QL in OBDA: Rewritings and Approximations.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Special issue of the Journal of Web Semantics on ontology-based data access.
J. Web Semant., 2015

Report on PODS 2015.
SIGACT News, 2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version).
CoRR, 2015

Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version).
CoRR, 2015

Ontology-Based Integration of Cross-Linked Datasets.
Proceedings of the Semantic Web - ISWC 2015, 2015

Leveraging Relational Technology for Data-Centric Dynamic Systems.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

OBDA with the Ontop Framework.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Data Complexity of Query Answering in Description Logics (Extended Abstract).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

How to Stay Ontop of Your Data: Databases, Ontologies and More.
Proceedings of the Semantic Web: ESWC 2015 Satellite Events - ESWC 2015 Satellite Events Portorož, Slovenia, May 31, 2015

The NPD Benchmark: Reality Check for OBDA Systems.
Proceedings of the 18th International Conference on Extending Database Technology, 2015

Inconsistency Management in Generalized Knowledge and Action Bases.
Proceedings of the 28th International Workshop on Description Logics, 2015

Dealing with Inconsistencies due to Class Disjointness in SPARQL Update.
Proceedings of the 28th International Workshop on Description Logics, 2015

A 'historical case' of Ontology-Based Data Access.
Proceedings of the 2nd Digital Heritage International Congress, 2015

Ontology-Driven Extraction of Event Logs from Relational Databases.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Implementing Data-Centric Dynamic Systems over a Relational DBMS.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

Verification of Relational Multiagent Systems with Data Types.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Answering regular path queries in expressive Description Logics via alternating tree-automata.
Inf. Comput., 2014

Verifiable UML Artifact-Centric Business Process Models (Extended Version).
CoRR, 2014

Verification of Relational Multiagent Systems with Data Types (Extended Version).
CoRR, 2014

Adding Context to Knowledge and Action Bases.
CoRR, 2014

Managing Change in Graph-structured Data Using Description Logics (long version with appendix).
CoRR, 2014

The NPD Benchmark for OBDA Systems.
Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014

Updating RDFS ABoxes and TBoxes in SPARQL.
Proceedings of the Semantic Web - ISWC 2014, 2014

Rules and Ontology Based Data Access.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

A Scalable Benchmark for OBDA Systems: Preliminary Report.
Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014

State-Boundedness in Data-Aware Dynamic Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Nested Regular Path Queries in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Verification of Context-Sensitive Knowledge and Action Bases.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Query Answering over Description Logic Ontologies.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Shape and Content: Incorporating Domain Knowledge into Shape Analysis.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Planning Problems for Graph Structured Data in Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

The Ontop Framework for Ontology Based Data Access.
Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

Verifiable UML Artifact-Centric Business Process Models.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Verification of data-aware commitment-based multiagent system.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Nested Regular Path Queries in Description Logics (Extended Abstract).
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Planning and Change in Graph Structured Data under Description Logics Constraints.
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Verification of Human Driven Data-Centric Dynamic Systems.
Proceedings of the 2014 AAAI Spring Symposia, 2014

Capturing Relational Schemas and Functional Dependencies in RDFS.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Preface.
Semantic Web, 2013

Capturing model-based ontology evolution at the instance level: The case of DL-Lite.
J. Comput. Syst. Sci., 2013

On simplification of schema mappings.
J. Comput. Syst. Sci., 2013

Description Logic Knowledge and Action Bases.
J. Artif. Intell. Res., 2013

Reasoning about Explanations for Negative Query Answers in DL-Lite.
J. Artif. Intell. Res., 2013

Finite model reasoning on UML class diagrams via constraint programming.
Intelligenza Artificiale, 2013

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).
Dagstuhl Reports, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
CoRR, 2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version).
CoRR, 2013

Data complexity of query answering in description logics.
Artif. Intell., 2013

Verification and Synthesis in Description Logic Based Dynamic Systems.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Verification of relational data-centric dynamic systems with external services.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Foundations of data-aware process analysis: a database theory perspective.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper).
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

The Optique Project: Towards OBDA Systems for Industry (Short Paper).
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Evaluating SPARQL-to-SQL Translation in Ontop.
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Automated Activity Recognition in Clinical Documents.
Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013

Exchanging OWL 2 QL Knowledge Bases.
Proceedings of the IJCAI 2013, 2013

Verification of Semantically-Enhanced Artifact Systems.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013


Extending DL-Lite_A with (Singleton) Nominals.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Evolving Graph Databases under Description Logic Constraints.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Computing Solutions in OWL 2 QL Knowledge Exchange.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Process Fragment Recognition in Clinical Documents.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Data Integration under Integrity Constraints.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Tractability and Intractability of Controlled Languages for Data Access.
Stud Logica, 2012

Query Processing under GLAV Mappings for Relational and Graph Databases.
Proc. VLDB Endow., 2012

View-based query answering in Description Logics: Semantics and complexity.
J. Comput. Syst. Sci., 2012

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.
Data Knowl. Eng., 2012

Best Service Synthesis in the Weighted Roman Model.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

Quest: Effcient SPARQL-to-SQL for RDF and OWL.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

Ontology-Based Governance of Data-Aware Processes.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Quest, an OWL 2 QL Reasoner for Ontology-based Data Access.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

High Performance Query Answering over DL-Lite Ontologies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

The Complexity of Explaining Negative Query Answers in DL-Lite.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Semantically-Governed Data-Aware Processes.
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Exchanging Description Logic Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Introducing Datatypes in DL-Lite.
Proceedings of the ECAI 2012, 2012

Verification of Description Logic Knowledge and Action Bases.
Proceedings of the ECAI 2012, 2012

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Representability in DL-Lite_R Knowledge Base Exchange.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
The MASTRO system for ontology-based data access.
Semantic Web, 2011

Containment of Regular Path Queries under Description Logic Constraints.
Proceedings of the IJCAI 2011, 2011

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.
Proceedings of the IJCAI 2011, 2011

Simplifying schema mappings.
Proceedings of the Database Theory, 2011

Dependencies to Optimize Ontology Based Data Access.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Verification of Conjunctive-Query Based Semantic Artifacts.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

The Complexity of Conjunctive Query Abduction in DL-Lite.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Knowledge Base Exchange.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Foundations of Relational Artifacts Verification.
Proceedings of the Business Process Management - 9th International Conference, 2011

Dependencies: Making Ontology Based Data Access Work.
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

2010
View Synthesis from Schema Mappings
CoRR, 2010

Evolution of DL-Lite Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Web-based graphical querying of databases through an ontology: the Wonder system.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Full Satisfiability of UML Class Diagrams.
Proceedings of the Conceptual Modeling, 2010

Updating TBoxes in DL-Lite.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Query Rewriting in DL-Lite_^(HN)_horn.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Checking Full Satisfiability of Conceptual Models.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Updating ABoxes in DL-Lite.
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

Expressive Approximations in <i>DL-Lite</i> Ontologies.
Proceedings of the Artificial Intelligence: Methodology, 2010

Node Selection Query Languages for Trees.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Dynamic Query Optimization under Access Limitations and Dependencies.
J. Univers. Comput. Sci., 2009

The DL-Lite Family and Relations.
J. Artif. Intell. Res., 2009

Ontologies and Databases: The DL-Lite Approach.
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

Regular Path Queries in Expressive Description Logics with Nominals.
Proceedings of the IJCAI 2009, 2009

Artifact-Centric Workflow Dominance.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Controlled Aggregate Tree Shaped Questions over Ontologies.
Proceedings of the Flexible Query Answering Systems, 8th International Conference, 2009

Discovering functional dependencies for multidimensional design.
Proceedings of the DOLAP 2009, 2009

DL-Lite without UNA.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Adding Weight to DL-Lite.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

An Automata-Theoretic Approach to Regular XPath.
Proceedings of the Database Programming Languages, 2009

Exploring Controlled English Ontology-Based Data Access.
Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

Controlled English Ontology-Based Data Access.
Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009

Conceptual Modeling for Data Integration.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

The Data Complexity of the Syllogistic Fragments of English.
Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 2009

Using OWL in Data Integration.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008
Conjunctive query containment and answering under description logic constraints.
ACM Trans. Comput. Log., 2008

Linking Data to Ontologies.
J. Data Semant., 2008

Data Complexity of Query Answering in Expressive Description Logics via Tableaux.
J. Autom. Reason., 2008

Inconsistency tolerance in P2P data integration: An epistemic logic approach.
Inf. Syst., 2008

Automatic Service Composition and Synthesis: the Roman Model.
IEEE Data Eng. Bull., 2008

A New Generation Search Engine Supporting Cross Domain Queries.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Data Integration throughDL-Lite<sub>A</sub> Ontologies.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

OWLlink: DIG for OWL 2.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Explanation in the DL-LiteFamily of Description Logics.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

View-Based Query Answering over Description Logic Ontologies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Path-Based Identification Constraints in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Realizing Ontology Based Data Access: A plug-in for protégé.
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

NGS: a framework for multi-domain query answering.
Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

Explanation in DL-Lite.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Aggregate queries over ontologies.
Proceedings of the 2nd International Workshop on Ontologies and Information Systems for the Semantic Web, 2008

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

Tractable Reasoning and Efficient Query Answering in Description Logics: The <i>DL-Lite</i> Family.
J. Autom. Reason., 2007

Ontology-based Database Access.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Query Answering in Expressive Variants of DL-Lite.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

An Extension of DIG 2.0 for Handling Bulk Data.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Can OWL Model Football Leagues?
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

EQL-Lite: Effective First-Order Query Processing in Description Logics.
Proceedings of the IJCAI 2007, 2007

Optimization of Query Plans in the presence of Access Limitations.
Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), 2007

Reasoning over Extended ER Models.
Proceedings of the Conceptual Modeling, 2007

A Proof Theory for DL-Lite.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Actions and Programs over Description Logic Ontologies.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Expressing DL-Lite Ontologies with Controlled English.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Complexity of Reasoning in Entity Relationship Models.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

English Querying over Ontologies: E-QuOnto.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

DL-Lite in the Light of First-Order Logic.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Enterprise modeling and Data Warehousing in Telecom Italia.
Inf. Syst., 2006

Ontologies and Description Logics.
Intelligenza Artificiale, 2006

Containment of Conjunctive Queries under Access Limitations.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Linking Data to Ontologies: The Description Logic DL-Lite_A.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Multilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano.
Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

ComposingWeb Services with Nondeterministic Behavior.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Data Complexity of Answering Unions of Conjunctive Queries in <i>SHIQ</i>.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Epistemic First-order Queries over Description Logic Knowledge Bases.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Optimising Query Answering in the Presence of Access Limitations (Position Paper).
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
Proceedings of the Proceedings, 2006

2005
Decidable containment of recursive queries.
Theor. Comput. Sci., 2005

Automatic Service Composition Based on Behavioral Descriptions.
Int. J. Cooperative Inf. Syst., 2005

Conjunctive Query Containment and Answering under Description Logics Constraints
CoRR, 2005

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

Data Integration: A Logic-Based Perspective.
AI Mag., 2005

Reasoning on UML class diagrams.
Artif. Intell., 2005

Automatic Composition of Transition-based Semantic Web Services with Messaging.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Efficiently Managing Data Intensive Ontologies.
Proceedings of the SWAP 2005, 2005

Automatic Composition of Web Services in Colombo.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Composition of Services with Nondeterministic Observable Behavior.
Proceedings of the Service-Oriented Computing, 2005

Modeling Data & Processes for Service Specifications in Colombo.
Proceedings of the EMOI, 2005

DL-Lite: Tractable Description Logics for Ontologies.
Proceedings of the Proceedings, 2005


2004
Data integration under integrity constraints.
Inf. Syst., 2004

: A Tool for Automatic Composition ofServices Based on Logics of Programs.
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Query Reformulation over Ontology-based Peers.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Logical Foundations of Peer-To-Peer Data Integration.
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.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Logic-Based Approach for Matching User Profiles.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

Synthesis of underspecified composite <i>e</i>-services based on automated reasoning.
Proceedings of the Service-Oriented Computing, 2004

Hyper: A Framework for Peer-to-Peer Data Integration on Grids.
Proceedings of the Semantics for Grid Databases, 2004

DL-Lite: Practical Reasoning for Rich Dls.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

A Description Logic Based Approach for Matching User Profiles.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Towards Implementing Finite Model Reasoning in Description Logics.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
Reasoning on regular path queries.
SIGMOD Rec., 2003

Toward a new landscape of systems management in an autonomic computing environment.
IBM Syst. J., 2003

A Foundational Vision of e-Services.
Proceedings of the Web Services, 2003

Query Containment Using Views.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

View-based query containment.
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.
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

View-based Query Processing for Semistructured Data.
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Automatic Composition of E-services That Export Their Behavior.
Proceedings of the Service-Oriented Computing, 2003

Relationships with other Formalisms.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

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

e-Service Composition by Description Logics Based Reasoning.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Reasoning on UML Class Diagrams is EXPTIME-hard.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Semantic Data Integration in P2P Systems.
Proceedings of the Databases, 2003

Data Integration in Data Warehousing (Keynote Address).
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

IBIS: Semantic Data Integration at Work.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

2002
Rewriting of Regular Expressions and Regular Path Queries.
J. Comput. Syst. Sci., 2002

On the Role of Integrity Constraints in Data Integration.
IEEE Data Eng. Bull., 2002

The multilingual thesaurus of LAURIN.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

IBIS: Data Integration at Work.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

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

Description Logics: Foundations for Class-based Knowledge Representation.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Reasoning about Actions and Planning in LTL Action Theories.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

A Formal Framework for Reasoning on UML Class Diagrams.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

Optimized Querying of Integrated Data over the Web.
Proceedings of the Engineering Information Systems in the Internet Context, 2002

On the Expressive Power of Data Integration Systems.
Proceedings of the Conceptual Modeling, 2002

2ATAs make DLs easy.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Description Logics for Information Integration.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
LAURIN: A Distributed Digital Library of Newspaper Clippings.
World Wide Web, 2001

Data Integration in Data Warehousing.
Int. J. Cooperative Inf. Syst., 2001

A Framework for Ontology Integration.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Towards a Comprehensive Methodological Framework for Integration.
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Identification Constraints and Functional Dependencies in Description Logics.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Accessing Data Integration Systems through Conceptual Schemas.
Proceedings of the Conceptual Modeling, 2001

Ontology of Integration and Integration of Ontologies.
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.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

Reasoning in Expressive Description Logics.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

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

Local constraint in semistructured data schemas.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

View-Based Query Processing for Regular Path Queries with Inverse.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

View-Based Query Processing and Constraint Satisfaction.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

What is View-Based Query Rewriting?
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Semistructured data schemas with expressive constraints.
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Containment of Conjunctive Regular Path Queries with Inverse.
Proceedings of the KR 2000, 2000

Answering Regular Path Queries Using Views.
Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Keys for Free in Description Logics.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

What is Query Rewriting?
Proceedings of the Cooperative Information Agents IV, 2000

Building a Digital Library of Newspaper Clippings: The Laurin Project.
Proceedings of IEEE Advances in Digital Libraries 2000 (ADL 2000), 2000

Answering Queries Using Views over Description Logics Knowledge Bases.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support.
Netw. Inf. Syst. J., 1999

Modeling and Querying Semi-Structured data .
Netw. Inf. Syst. J., 1999

Representing and Reasoning on XML Documents: A Description Logic Approach.
J. Log. Comput., 1999

Unifying Class-Based Representation Formalisms.
J. Artif. Intell. Res., 1999

Query Answering Using Views for Data Integration over the Web.
Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Rewriting of Regular Path Queries.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Answering Queries Using Views in Description Logics.
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.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Principled Approach to Data Integration and Reconciliation in Data Warehousing.
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

Queries and Constraints on Semi-structured Data.
Proceedings of the Advanced Information Systems Engineering, 1999

1998
Extending Semi-Structured Data.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

On the Decidability of Query Containment under Constraints.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Description Logic Framework for Information Integration.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Semi-structured Data with Constraints and Incomplete Information.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Source Integration in Data Warehousing.
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Description Logics for Conceptual Data Modeling.
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.
Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998

What can Knowledge Representation do for Semi-Structured Data?
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Representing and Reasoning on SGML Documents.
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Conjunctive Query Containment in Description Logics with n-ary Relations.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
Finite Model Reasoning in Description Logics.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Representing SGML Documents in Description Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996

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

Structured Objects: Modeling and Reasoning.
Proceedings of the Deductive and Object-Oriented Databases, 1995

1994
Making Object-Oriented Schemas More Expressive.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

A Unified Framework for Class-Based Representation Formalisms.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

On the Interaction Between ISA and Cardinality Constraints.
Proceedings of the Tenth International Conference on Data Engineering, 1994


  Loading...