Diego Calvanese

What Do Users Think About Abstractions of Ontology-Driven Conceptual Models?

[BibT_eX]

[DOI]

Elena Romanenko

Giancarlo Guizzardi

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2023

Direct Mappings under the Lens of Information Capacity (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Extracting Event Data from Document-Driven Enterprise Systems.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2023

On the Way to Temporal OBDA Systems (short paper).

[BibT_eX]

[DOI]

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

Exploration of Medieval Manuscripts through Keyword Spotting in the MENS Project.

[BibT_eX]

[DOI]

Proceedings of the Discussion Papers, 2023

SMT Safety Verification of Ontology-Based Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Combination of Uniform Interpolants via Beth Definability.

[BibT_eX]

[DOI]

J. Autom. Reason., 2022

Augmented Business Process Management Systems: A Research Manifesto.

[BibT_eX]

[DOI]

CoRR, 2022

Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts.

[BibT_eX]

[DOI]

Elena Romanenko

Giancarlo Guizzardi

Proceedings of the Research Challenges in Information Science, 2022

Ontology-based Data Federation.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Knowledge Graphs, 2022

Verification of Generic, Relational Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction.

[BibT_eX]

[DOI]

Proceedings of the Process Mining Workshops, 2022

Towards Pragmatic Explanations for Domain Ontologies.

[BibT_eX]

[DOI]

Elena Romanenko

Tarcisio Mendes de Farias

Giancarlo Guizzardi

Proceedings of the Knowledge Engineering and Knowledge Management, 2022

Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract).

[BibT_eX]

[DOI]

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

Ontology-based Data Federation (Extended Abstract).

[BibT_eX]

[DOI]

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

2021

Towards the next generation of the LinkedGeoData project using virtual knowledge graphs.

[BibT_eX]

[DOI]

J. Web Semant., 2021

INODE: Building an End-to-End Data Exploration System in Practice.

[BibT_eX]

[DOI]

Dimitris Papadopoulos

SIGMOD Rec., 2021

Accessing scientific data through knowledge graphs with Ontop.

[BibT_eX]

[DOI]

Tarcisio Mendes de Farias

Alessandro Mosca

Patterns, 2021

Model Completeness, Uniform Interpolants and Superposition Calculus.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Consistency assessment for open geodata integration: an ontology-based approach.

[BibT_eX]

[DOI]

GeoInformatica, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

Xin Wang

Big Data Res., 2021

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).

[BibT_eX]

[DOI]

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

ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract).

[BibT_eX]

[DOI]

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

Convergence Verification of Declarative Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

Realizing Ontology-based Reusable Interfaces for Data Access via Virtual Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the 14th Biannual Conference of the Italian SIGCHI Chapter, 2021

ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2021

Process Mining with Common Sense.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021) co-located with the 19th International Conference on Business Process Management (BPM 2021), 2021

2020

Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019).

[BibT_eX]

[DOI]

Paul Fodor

ACM SIGLOG News, 2020

SMT-based verification of data-aware processes: a model-theoretic approach.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2020

Interview with Diego Calvanese.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

A Framework Uniting Ontology-Based Geodata Integration and Geovisual Analytics.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2020

Mapping Patterns for Virtual Knowledge Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

The Virtual Knowledge Graph System Ontop.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2020, 2020

Serving Bosch Production Data as Virtual KGs.

[BibT_eX]

[DOI]

Elem Guzel Kalayci

Irlán Grangel-González

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.

[BibT_eX]

[DOI]

Elem Güzel Kalayci

Irlán Grangel-González

Proceedings of the Semantic Web - ISWC 2020, 2020

Counting Query Answers over a DL-Lite Knowledge Base.

[BibT_eX]

[DOI]

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

Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research).

[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

Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions.

[BibT_eX]

[DOI]

The Virtual Knowledge Graph System Ontop (Extended Abstract).

[BibT_eX]

[DOI]

Combined Covers and Beth Definability.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

On expansion and contraction of DL-Lite knowledge bases.

[BibT_eX]

[DOI]

J. Web Semant., 2019

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

VIG: Data scaling for OBDA benchmarks.

[BibT_eX]

[DOI]

Semantic Web, 2019

Ontology-based data access - Beyond relational sources.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2019

Virtual Knowledge Graphs: An Overview of Systems and Use Cases.

[BibT_eX]

[DOI]

Data Intell., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Ontology-based access to temporal data with Ontop: A framework proposal.

[BibT_eX]

[DOI]

Int. J. Appl. Math. Comput. Sci., 2019

Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Enriching Ontology-based Data Access with Provenance.

[BibT_eX]

[DOI]

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

Representing and Querying Norm States Using Temporal Ontology-Based Data Access.

[BibT_eX]

[DOI]

Evellin Cardoso

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

Model Completeness, Covers and Superposition (Abridged Version).

[BibT_eX]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Modeling and In-Database Management of Relational, Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

Model Completeness, Covers and Superposition.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 17th International Conference, 2019

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

[BibT_eX]

[DOI]

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

From Model Completeness to Verification of Data Aware Processes.

[BibT_eX]

[DOI]

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

Enriching Data Models with Behavioral Constraints.

[BibT_eX]

[DOI]

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

2018

Ontology-Based Data Access and Integration.

[BibT_eX]

[DOI]

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

Semantics, Analysis and Simplification of DMN Decision Tables.

[BibT_eX]

[DOI]

Inf. Syst., 2018

First-order μ-calculus over generic transition systems and applications to the situation calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2018

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

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2018

Modelling and Enactment of Data-aware Processes.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Quantifier Elimination for Database Driven Verification.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Efficient Handling of SPARQL OPTIONAL for OBDA.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2018, 2018

Formalization and Complexity of MongoDB Queries (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Ontology-Based Data Access: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Expressivity and Complexity of MongoDB Queries.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Database Theory, 2018

Efficient Ontology-Based Data Integration with Canonical IRIs.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 15th International Conference, 2018

Conceptual Schema Transformation in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

Semantic Technologies for Data Access and Integration.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

Verification of Fixed-Topology Declarative Distributed Systems with External Data.

[BibT_eX]

[DOI]

Jorge Lobo

Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

A Generalized Framework for Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

First-Order Ontology Mediated Database Querying via Query Reformulation.

[BibT_eX]

[DOI]

Enrico Franconi

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.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2017

Ontop: Answering SPARQL queries over relational databases.

[BibT_eX]

[DOI]

Semantic Web, 2017

Semantics and Analysis of DMN Decision Tables.

[BibT_eX]

EMISA Forum, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Cost-Driven Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

OBDA for Log Extraction in Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Semantic DMN: Formalizing Decision Models with Domain Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems - 20th International Conference, 2017

Formalizing MongoDB Queries.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2017

2016

Soundness of data-aware, case-centric processes.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Research Directions for Principles of Data Management (Abridged).

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2016

Data Scaling in OBDA Benchmarks: The VIG Approach.

[BibT_eX]

[DOI]

CoRR, 2016

A Formal Presentation of MongoDB (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

Knowledge base exchange: The case of OWL 2 QL.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Fast and Simple Data Scaling for OBDA Benchmarks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

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

On First-Order μ-Calculus over Situation Calculus Action Theories.

[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

Plan Synthesis for Knowledge and Action Bases.

[BibT_eX]

[DOI]

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

Verification of Evolving Graph-structured Data under Expressive Path Constraints.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Database Theory, 2016

Handling Inconsistencies Due to Class Disjointness in SPARQL Updates.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

Synthesizing and Executing Plans in Knowledge and Action Bases.

[BibT_eX]

[DOI]

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

Managing Change in Graph-structured Data Using Description Logics.

[BibT_eX]

[DOI]

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

Virtual OBDA over Expressive Ontologies: Rewritings and Approximations.

[BibT_eX]

[DOI]

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

OBDA Beyond Relational DBs: A Study for MongoDB.

[BibT_eX]

[DOI]

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

A semantic approach to polystores.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

Towards Data- and Norm-Aware Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

OBDA Over Non-Relational Databases.

[BibT_eX]

[DOI]

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

Beyond OWL 2 QL in OBDA: Rewritings and Approximations.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Special issue of the Journal of Web Semantics on ontology-based data access.

[BibT_eX]

[DOI]

Manolis Koubarakis

David Toman

J. Web Semant., 2015

Report on PODS 2015.

[BibT_eX]

[DOI]

SIGACT News, 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Ontology-Based Integration of Cross-Linked Datasets.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Leveraging Relational Technology for Data-Centric Dynamic Systems.

[BibT_eX]

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

OBDA with the Ontop Framework.

[BibT_eX]

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

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.

[BibT_eX]

[DOI]

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

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.

[BibT_eX]

[DOI]

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

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.

[BibT_eX]

[DOI]

Mikhail Soutchanski

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

How to Stay Ontop of Your Data: Databases, Ontologies and More.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Extending Database Technology, 2015

Inconsistency Management in Generalized Knowledge and Action Bases.

[BibT_eX]

[DOI]

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

Dealing with Inconsistencies due to Class Disjointness in SPARQL Update.

[BibT_eX]

[DOI]

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

A 'historical case' of Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the 2nd Digital Heritage International Congress, 2015

Ontology-Driven Extraction of Event Logs from Relational Databases.

[BibT_eX]

[DOI]

Alifah Syamsiyah

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Giorgio Delzanno

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Answering regular path queries in expressive Description Logics via alternating tree-automata.

[BibT_eX]

[DOI]

Inf. Comput., 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

Giorgio Delzanno

CoRR, 2014

Adding Context to Knowledge and Action Bases.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

The NPD Benchmark for OBDA Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Albin Ahmeti

Axel Polleres

Proceedings of the Semantic Web - ISWC 2014, 2014

Rules and Ontology Based Data Access.

[BibT_eX]

[DOI]

Martin Rezk

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

A Scalable Benchmark for OBDA Systems: Preliminary Report.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Nested Regular Path Queries in Description Logics.

[BibT_eX]

[DOI]

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

Verification of Context-Sensitive Knowledge and Action Bases.

[BibT_eX]

[DOI]

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

Query Answering over Description Logic Ontologies.

[BibT_eX]

[DOI]

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

Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Shape and Content: Incorporating Domain Knowledge into Shape Analysis.

[BibT_eX]

[DOI]

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

Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Albin Ahmeti

Axel Polleres

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

Planning Problems for Graph Structured Data in Description Logics.

[BibT_eX]

[DOI]

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

The Ontop Framework for Ontology Based Data Access.

[BibT_eX]

[DOI]

Mindaugas Slusnys

Proceedings of the Semantic Web and Web Science - 8th Chinese Conference, 2014

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.

[BibT_eX]

[DOI]

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

Verifiable UML Artifact-Centric Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Verification of data-aware commitment-based multiagent system.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Nested Regular Path Queries in Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Planning and Change in Graph Structured Data under Description Logics Constraints.

[BibT_eX]

[DOI]

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Verification of Human Driven Data-Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Spring Symposia, 2014

Capturing Relational Schemas and Functional Dependencies in RDFS.

[BibT_eX]

[DOI]

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

2013

Preface.

[BibT_eX]

[DOI]

Thomas Lukasiewicz

Semantic Web, 2013

Capturing model-based ontology evolution at the instance level: The case of DL-Lite.

[BibT_eX]

[DOI]

Evgeny Kharlamov

Dmitriy Zheleznyakov

J. Comput. Syst. Sci., 2013

On simplification of schema mappings.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2013

Description Logic Knowledge and Action Bases.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Reasoning about Explanations for Negative Query Answers in DL-Lite.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Finite model reasoning on UML class diagrams via constraint programming.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).

[BibT_eX]

[DOI]

Sven Hartmann

Ernest Teniente

Dagstuhl Reports, 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

Data complexity of query answering in description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Verification and Synthesis in Description Logic Based Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Verification of relational data-centric dynamic systems with external services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Dmitriy Zheleznyakov

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Automated Activity Recognition in Clinical Documents.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Exchanging OWL 2 QL Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Verification of Semantically-Enhanced Artifact Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Optique: OBDA Solution for Big Data.

[BibT_eX]

[DOI]

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

Extending DL-Lite_A with (Singleton) Nominals.

[BibT_eX]

[DOI]

Maxim Haddad

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Process Fragment Recognition in Clinical Documents.

[BibT_eX]

[DOI]

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

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).

[BibT_eX]

[DOI]

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.

[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

Tractability and Intractability of Controlled Languages for Data Access.

[BibT_eX]

[DOI]

Stud Logica, 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

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2012

Best Service Synthesis in the Weighted Roman Model.

[BibT_eX]

[DOI]

Proceedings of the 4th Central-European Workshop on Services and their Composition, 2012

Quest: Effcient SPARQL-to-SQL for RDF and OWL.

[BibT_eX]

[DOI]

Josef Hardi

Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

Ontology-Based Governance of Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Quest, an OWL 2 QL Reasoner for Ontology-based Data Access.

[BibT_eX]

[DOI]

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

High Performance Query Answering over DL-Lite Ontologies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Semantically-Governed Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Exchanging Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

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

Introducing Datatypes in DL-Lite.

[BibT_eX]

[DOI]

Ognjen Savkovic

Proceedings of the ECAI 2012, 2012

Verification of Description Logic Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Representability in DL-Lite_R Knowledge Base Exchange.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

The MASTRO system for ontology-based data access.

[BibT_eX]

[DOI]

Marco Ruzzi

Domenico Fabio Savo

Semantic Web, 2011

Containment of Regular Path Queries under Description Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Domenico Carbotta

Proceedings of the IJCAI 2011, 2011

Simplifying schema mappings.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2011

Dependencies to Optimize Ontology Based Data Access.

[BibT_eX]

[DOI]

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

Verification of Conjunctive-Query Based Semantic Artifacts.

[BibT_eX]

[DOI]

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

The Complexity of Conjunctive Query Abduction in DL-Lite.

[BibT_eX]

[DOI]

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

Knowledge Base Exchange.

[BibT_eX]

[DOI]

Marcelo Arenas

Elena Botoeva

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

Foundations of Relational Artifacts Verification.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 9th International Conference, 2011

Dependencies: Making Ontology Based Data Access Work.

[BibT_eX]

[DOI]

Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

2010

View Synthesis from Schema Mappings

[BibT_eX]

[DOI]

CoRR, 2010

Evolution of DL-Lite Knowledge Bases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

C. Maria Keet

Werner Nutt

Giorgio Stefanoni

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Full Satisfiability of UML Class Diagrams.

[BibT_eX]

[DOI]

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

Proceedings of the Conceptual Modeling, 2010

Updating TBoxes in DL-Lite.

[BibT_eX]

[DOI]

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

Query Rewriting in DL-Lite_^(HN)_horn.

[BibT_eX]

[DOI]

Elena Botoeva

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

Checking Full Satisfiability of Conceptual Models.

[BibT_eX]

[DOI]

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

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

Updating ABoxes in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

Expressive Approximations in DL-Lite Ontologies.

[BibT_eX]

[DOI]

Elena Botoeva

Proceedings of the Artificial Intelligence: Methodology, 2010

Node Selection Query Languages for Trees.

[BibT_eX]

[DOI]

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

2009

Dynamic Query Optimization under Access Limitations and Dependencies.

[BibT_eX]

[DOI]

Davide Martinenghi

J. Univers. Comput. Sci., 2009

The DL-Lite Family and Relations.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 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

Regular Path Queries in Expressive Description Logics with Nominals.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Artifact-Centric Workflow Dominance.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Controlled Aggregate Tree Shaped Questions over Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, 8th International Conference, 2009

Discovering functional dependencies for multidimensional design.

[BibT_eX]

[DOI]

Oscar Romero

Alberto Abelló

Proceedings of the DOLAP 2009, 2009

DL-Lite without UNA.

[BibT_eX]

[DOI]

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

Adding Weight to DL-Lite.

[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

Exploring Controlled English Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

Controlled English Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009

Conceptual Modeling for Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

The Data Complexity of the Syllogistic Fragments of English.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 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

Linking Data to Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2008

Data Complexity of Query Answering in Expressive Description Logics via Tableaux.

[BibT_eX]

[DOI]

J. Autom. Reason., 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

A New Generation Search Engine Supporting Cross Domain Queries.

[BibT_eX]

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Data Integration throughDL-LiteA Ontologies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mariano Rodriguez

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

OWLlink: DIG for OWL 2.

[BibT_eX]

[DOI]

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

Explanation in the DL-LiteFamily of Description Logics.

[BibT_eX]

[DOI]

Alexander Borgida

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 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

Realizing Ontology Based Data Access: A plug-in for protégé.

[BibT_eX]

[DOI]

Lina Lubyte

Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

NGS: a framework for multi-domain query answering.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Data Engineering Workshops, 2008

Explanation in DL-Lite.

[BibT_eX]

[DOI]

Alexander Borgida

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

Aggregate queries over ontologies.

[BibT_eX]

[DOI]

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.

[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

Query Answering in Expressive Variants of DL-Lite.

[BibT_eX]

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

An Extension of DIG 2.0 for Handling Bulk Data.

[BibT_eX]

[DOI]

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

Optimization of Query Plans in the presence of Access Limitations.

[BibT_eX]

[DOI]

Davide Martinenghi

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.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

A Proof Theory for DL-Lite.

[BibT_eX]

[DOI]

Evgeny Kharlamov

Werner Nutt

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

Expressing DL-Lite Ontologies with Controlled English.

[BibT_eX]

[DOI]

Raffaella Bernardi

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

Complexity of Reasoning in Entity Relationship Models.

[BibT_eX]

[DOI]

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

English Querying over Ontologies: E-QuOnto.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

DL-Lite in the Light of First-Order Logic.

[BibT_eX]

[DOI]

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

2006

Enterprise modeling and Data Warehousing in Telecom Italia.

[BibT_eX]

[DOI]

Inf. Syst., 2006

Ontologies and Description Logics.

[BibT_eX]

Nicola Guarino

Intelligenza Artificiale, 2006

Containment of Conjunctive Queries under Access Limitations.

[BibT_eX]

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

Multilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

ComposingWeb Services with Nondeterministic Behavior.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Decidable containment of recursive queries.

[BibT_eX]

[DOI]

Moshe Y. Vardi

Theor. Comput. Sci., 2005

Automatic Service Composition Based on Behavioral Descriptions.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2005

Conjunctive Query Containment and Answering under Description Logics Constraints

[BibT_eX]

[DOI]

CoRR, 2005

Data complexity of answering conjunctive queries over SHIQ knowledge bases

[BibT_eX]

[DOI]

CoRR, 2005

Data Integration: A Logic-Based Perspective.

[BibT_eX]

[DOI]

AI Mag., 2005

Reasoning on UML class diagrams.

[BibT_eX]

[DOI]

Daniela Berardi

Artif. Intell., 2005

Automatic Composition of Transition-based Semantic Web Services with Messaging.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Efficiently Managing Data Intensive Ontologies.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2005, 2005

Automatic Composition of Web Services in Colombo.

[BibT_eX]

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

Composition of Services with Nondeterministic Observable Behavior.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 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

A Logic-Based Approach for Matching User Profiles.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 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

A Description Logic Based Approach for Matching User Profiles.

[BibT_eX]

[DOI]

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

Towards Implementing Finite Model Reasoning in Description Logics.

[BibT_eX]

[DOI]

Marco Cadoli

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

2003

Reasoning on regular path queries.

[BibT_eX]

[DOI]

SIGMOD Rec., 2003

Toward a new landscape of systems management in an autonomic computing environment.

[BibT_eX]

[DOI]

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

Anwering Recursive Queries under Keys and Foreign Keys is Undecidable.

[BibT_eX]

[DOI]

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

View-based Query Processing for Semistructured Data.

[BibT_eX]

[DOI]

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

Automatic Composition of E-services That Export Their Behavior.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2003

Relationships with other Formalisms.

[BibT_eX]

Ulrike Sattler

Ralf Molitor

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

Expressive Description Logics.

[BibT_eX]

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

Reasoning on UML Class Diagrams is EXPTIME-hard.

[BibT_eX]

[DOI]

Daniela Berardi

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

Data Integration in Data Warehousing (Keynote Address).

[BibT_eX]

[DOI]

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

IBIS: Semantic Data Integration at Work.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 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

IBIS: Data Integration at Work.

[BibT_eX]

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 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

Reasoning about Actions and Planning in LTL Action Theories.

[BibT_eX]

Moshe Y. Vardi

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.

[BibT_eX]

[DOI]

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

Optimized Querying of Integrated Data over the Web.

[BibT_eX]

Proceedings of the Engineering Information Systems in the Internet Context, 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

LAURIN: A Distributed Digital Library of Newspaper Clippings.

[BibT_eX]

[DOI]

Tiziana Catarci

Giuseppe Santucci

World Wide Web, 2001

Data Integration in Data Warehousing.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2001

A Framework for Ontology Integration.

[BibT_eX]

Proceedings of the Emerging Semantic Web, Selected papers from 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.

[BibT_eX]

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

Towards a Comprehensive Methodological Framework for Integration.

[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

Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

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

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

Building a Digital Library of Newspaper Clippings: The Laurin Project.

[BibT_eX]

[DOI]

Tiziana Catarci

Giuseppe Santucci

Proceedings of IEEE Advances in Digital Libraries 2000 (ADL 2000), 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

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

[BibT_eX]

Netw. Inf. Syst. J., 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]

Daniele Nardi

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

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

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

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 Logic Framework for Information Integration.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 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]

Daniele Nardi

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

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]