Ontology-Based Data Access

Cost-driven ontology-based data access

Formalizing MongoDB queries

Ontology-based data access and integration

Ontop: Answering SPARQL queries over relational databases

A semantic approach to polystores

An evaluation of VIG with the BSBM benchmark

Fast and simple data scaling for OBDA benchmarks

Towards practical OBDA with temporal ontologies (Position paper)

OBDA over non-relational databases

OBDA beyond relational DBs: A study for MongoDB

Virtual OBDA over expressive ontologies: Rewritings and approximations

Beyond OWL 2 QL in OBDA: Rewritings and approximations

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

Preface to the special issue on ontology-based data access

Ontology-based integration of cross-linked datasets

A 'historical case' of ontology-based data access

How to stay Ontop of your data: Databases, ontologies and more

OBDA with the Ontop framework

The NPD benchmark: Reality check for OBDA systems

The NPD benchmark for OBDA systems

The Ontop framework for ontology based data access

Rules and ontology based data access

A scalable benchmark for OBDA systems: Preliminary report

Scalable end-user access to Big Data

Optique: OBDA solution for big data

Evaluating SPARQL-to-SQL translation in ontop

The Optique project: Towards OBDA systems for industry

On rewriting and answering queries in OBDA systems for big data

Quest: Efficient SPARQL-to-SQL for RDF and OWL

Quest, an OWL 2 QL reasoner for ontology-based data access

High performance query answering over DL-Lite ontologies

Semantic index: Scalable query answering without forward chaining or exponential rewritings

Dependencies to optimize ontology based data access

Dependencies: Making ontology based data access work in practice

The Mastro system for ontology-based data access

Ontologies and databases: The DL-Lite approach

Towards an open framework for ontology based data access with Protégé and DIG 1.1

OWLlink: DIG for OWL 2

Realizing ontology based data access: A plug-in for Protégé

Linking data to ontologies

Ontology-based database access

Mastro-i: Efficient integration of relational data through DL ontologies

An extension of DIG 2.0 for handling bulk data

Linking data to ontologies: The description logic DL-LiteA

Description Logics and Ontologies

First-order ontology mediated database querying via query reformulation

Expressivity and complexity of MongoDB (Extended Version)

Reasoning web: Logical foundation of knowledge graph construction and query answering -- 12th int. summer school tutorial lectures (rw 2016)

Knowledge base exchange: The case of OWL 2 QL

Handling inconsistencies due to class disjointness in SPARQL updates

Reasoning over evolving graph-structured data under constraints

Managing change in graph-structured data using description logics

Verification of evolving graph-structured data under expressive path constraints

A formal presentation of MongoDB (Extended version)

Data complexity of query answering in description logics (Extended abstract)

Dealing with inconsistencies due to class disjointness in SPARQL update

Updating RDFS ABoxes and TBoxes in SPARQL

Query answering over description logic ontologies

Shape and content: A database-theoretic perspective on the analysis of data structures

Planning problems for graph structured data in description logics

SPARQL update for materialized triple stores under DL-LiteRDFS entailment

Expressive identification constraints to capture functional dependencies in description logics

Shape and content: Incorporating domain knowledge into shape analysis

Nested regular path queries in description logics (extended abstract)

Planning and change in graph structured data under description logics constraints

Managing change in graph-structured data using description logics

Managing change in graph-structured data using description logics (long version with appendix)

Capturing relational schemas and functional dependencies in RDFS

Answering regular path queries in expressive description logics via alternating tree-automata

Nested regular path queries in description logics

Preface to the special issue on selected papers presented at the 4th International Conference on Web Reasoning and Rule Systems (RR 2010)

Finite model reasoning on UML class diagrams via constraint programming

Extending DL-LiteA with (singleton) nominals

Computing solutions in OWL 2 QL knowledge base exchange

Reasoning about explanations for negative query answers in DL-Lite

Exchanging OWL 2 QL knowledge bases

Exchanging OWL 2 QL knowledge bases (extended version)

Data complexity of query answering in description logics

Circumscribing DL-Lite

Representability in DL-LiteR knowledge base exchange

Introducing datatypes in DL-Lite

Exchanging description logic knowledge bases

The complexity of explaining negative query answers in DL-Lite

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

View-based query answering in description logics: Semantics and complexity

Actions and programs over description logic knowledge bases: A functional approach

Containment of regular path queries under description logic constraints

A practical automata-based technique for reasoning in expressive description logics

Knowledge base exchange

The complexity of conjunctive query abduction in DL-Lite

Evolution of DL-Lite knowledge bases

Expressive approximations in DL-Lite ontologies

Updating ABoxes in DL-Lite

Updating TBoxes in DL-Lite

Query rewriting in DL-LiteHNhorn

A logical framework for representing ontologies

Web-based graphical querying of databases through an ontology: the Wonder system

The description logic handbook: Theory, implementation, and applications

Discovering functional dependencies for multidimensional design

The DL-Lite family and relations

Using OWL in data integration

DL-Lite without UNA

Adding weight to DL-Lite

Regular path queries in expressive description logics with nominals

Conceptual modeling for data integration

Aggregate queries over ontologies

Explanation in the DL-Lite family of description logics

View-based query answering over description logic ontologies

Path-based identification constraints in description logics

Data integration through DL-LiteA ontologies

Explanation in DL-Lite

Data complexity of query answering in expressive description logics via tableaux

Conjunctive query containment and answering under description logics constraints

Finite model reasoning on UML class diagrams via constraint programming

Query answering in expressive variants of DL-Lite

Answering regular path queries in expressive description logics: An automata-theoretic approach

DL-Lite in the light of first-order logic

Actions and programs over description logic ontologies

Complexity of reasoning over Entity Relationship models

Complexity of reasoning in Entity Relationship models

A proof theory for DL-Lite

Can OWL model football leagues?

EQL-Lite: Effective first-order query processing in description logics

Tractable reasoning and efficient query answering in description logics: The DL-Lite family

The description logic handbook: Theory, implementation, and applications

Ontologies and description logics

Data complexity of answering unions of conjunctive queries in SHIQ

Characterizing data complexity for conjunctive query answering in expressive description logics

Epistemic first-order queries over description logic knowledge bases

Data complexity of answering unions of conjunctive queries in SHIQ

Data complexity of query answering in description logics

Efficiently managing data intensive ontologies

Tailoring OWL for data intensive ontologies

Data complexity of query answering in description logics

DL-Lite: Tractable description logics for ontologies

QuOnto: Querying Ontologies

A logic based approach for matching user profiles

DL-Lite: Practical reasoning for rich DLs

Towards implementing finite model reasoning in description logics

A description logic based approach for matching user profiles

Expressive description logics

Relationship with other formalisms

The description logic handbook: Theory, implementation, and applications

Description logics: Foundations for class-based knowledge representation

2ATAs make DLs easy

Reasoning on UML class diagrams using description logic based systems

Identification constraints and functional dependencies in description logics

Reasoning in expressive description logics

Keys for free in description logics

Answering queries using views over description logics knowledge bases

Unifying class-based representation formalisms

Reasoning in expressive description logics with fixpoints based on automata on infinite trees

Answering queries using views in description logics

A note on encoding inverse roles and functional restrictions in ALC knowledge bases

On the decidability of query containment under constraints

Conjunctive query containment in Description Logics with n-ary relations

Finite model reasoning in description logics

Reasoning with inclusion axioms in description logics: Algorithms and complexity

A unified framework for class based representation formalisms

Finite satisfiability and implication in concept languages

Process Mining

The onprom toolchain for extracting business process logs using ontology-based data access

Semantic DMN: Formalizing decision models with domain knowledge

OBDA for log extraction in process mining

Ontology-based data access for extracting event logs from legacy data: The onprom tool and methodology

Ontology-driven extraction of event logs from relational databases

Data-aware Process Verification

First-order mu-calculus over generic transition systems and applications to the Situation Calculus

Soundness of data-aware, case-centric processes

Semantics and analysis of DMN decision tables

Semantics and analysis of DMN decision tables

Plan synthesis for knowledge and action bases

On first-order mu-calculus over situation calculus action theories

Towards data- and norm-aware multiagent systems

Synthesizing and executing plans in knowledge and action bases

Description logic based dynamic systems: Modeling, verification, and synthesis

On the undecidability of the situation calculus extended with description logic ontologies

Verification of generalized inconsistency-aware knowledge and action bases

Leveraging relational technology for data-centric dynamic systems

Inconsistency management in generalized knowledge and action bases

Implementing Data-Centric Dynamic Systems over a relational DBMS

Verification of relational multiagent systems with data types

Verification of relational multiagent systems with data types (extended version)

Verifiable UML artifact-centric business process models

Verifiable UML artifact-centric business process models (extended version)

Verification of context-sensitive knowledge and action bases

Adding context to knowledge and action bases

Specification and verification of commitment-regulated data-aware multiagent systems

State-boundedness in data-aware dynamic systems

Verification of data-aware commitment-based multiagent systems

Verification of human driven data-centric dynamic systems

Verification of semantically-enhanced artifact systems

Verification of semantically-enhanced artifact systems (extended version)

Evolving graph databases under description logic constraints

Dynamic systems based on description logics: Formalization, verification, and synthesis

Verification of inconsistency-aware knowledge and action bases

Verification of relational data-centric dynamic systems with external services

Foundations of data-aware process analysis: A database theory perspective

Verification and synthesis in description logic based dynamic systems

Verification of inconsistency-aware knowledge and action bases

Verification of inconsistency-aware knowledge and action bases (extended version)

Description logic Knowledge and Action Bases

Techniques and tools for KAB, to manage action linkage with the Artifact Layer -- Iteration 2

Ontology-based governance of data-aware processes

Inconsistency tolerance in OWL 2 QL Knowledge and Action Bases -- Statement of interest

Semantically-governed data-aware processes

Verification of description logic Knowledge and Action Bases

Verification of relational data-centric dynamic systems with external services

Foundations of relational artifacts verification

Verification of conjunctive-query based semantic artifacts

Artifact-centric workflow dominance

Query Processing for Semistructured Data

Regular open APIs

Node selection query languages for trees

On simplification of schema mappings

Query processing under GLAV mappings for relational and graph databases

Simplifying schema mappings

View synthesis from schema mappings

Node selection query languages for trees

An automata-theoretic approach to Regular XPath

Regular XPath: Constraints, query containment and view-based answering for XML documents

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

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

Decidable containment of recursive queries

Reasoning on regular path queries

View-based query containment

Query containment using views

Decidable containment of recursive queries

View-based query answering and query containment over semistructured data

Lossless regular views

View-based query answering and query containment over semistructured data

What is view-based query rewriting?

View-based query processing and constraint satisfaction

View-based query processing for regular path queries with inverse

Containment of conjunctive regular path queries with inverse

Answering regular path queries using views

Query answering using views for data integration over the web

Rewriting of regular expressions and regular path queries

Rewriting of regular expressions and regular path queries

Rewriting regular expressions in semi-structured data

Rewriting of regular path queries

Natural Language and Description Logics

Designing efficient controlled languages for ontologies

Process fragment recognition in clinical documents

Automated activity recognition in clinical documents

The VeriCliG project: Extraction of computer interpretable guidelines via syntactic and semantic annotation

Tractability and intractability of controlled languages for data access

Controlled aggregate tree shaped questions over ontologies

The data complexity of the syllogistic fragments of English

Controlled English ontology-based data access

English querying over ontologies: E-QuOnto

Expressing DL-Lite ontologies with Controlled English

Lite natural language

P2P Data Management

Inconsistency tolerance in P2P data integration: An epistemic logic approach

Data management in peer-to-peer data integration systems

What to ask to a peer: Query reformulation over ontology-based peers

Inconsistency tolerance in P2P data integration: An epistemic logic approach

Hyper: A framework for peer-to-peer data integration on grids

Logical foundations of peer-to-peer data integration

What to ask to a peer: Ontology-based query reformulation

Query reformulation over ontology-based peers

Semantic data integration in P2P systems

Information Integration

New trends in databases and information systems: Contributions from ADBIS 2017 workshops

Rewrite and conquer: Dealing with integrity constraints in data integration

Dynamic query optimization under access limitations and dependencies

NGS: A New Generation Search engine supporting cross domain queries

NGS: a framework for multi-domain query answering

Optimization of query plans in the presence of access limitations

Optimising query answering in the presence of access limitations (position paper)

Containment of conjunctive queries under access limitations

Enterprise modeling and data warehousing in telecom italia

Data integration: A logic-based perspective

Data integration under integrity constraints

Answering recursive queries under keys and foreign keys is undecidable

IBIS: Semantic data integration at work

Development of ontologies for the semantic web: An overview

On the role of integrity constraints in data integration

A framework for ontology integration

Optimized querying of integrated data over the Web

IBIS: Data integration at work

Accessing data integration systems through conceptual schemas

On the expressive power of data integration systems

Data integration under integrity constraints

Description logics for information integration

Methods and tools to reconcile data

Ontology of integration and integration of ontologies

A framework for ontology integration

Towards a comprehensive methodological framework for semantic integration of heterogeneous data sources

Accessing data integration systems through conceptual schemas

Optimizing query planning with limited source capabilities in the presence of inclusion and functional dependencies

Data integration in data warehousing

Survey on methods for query rewriting and query answering using views

Concept based design of data warehouses: The DWQ demonstrators

Modellazione e qualità dei dati in sistemi di data warehouse

Integrazione e qualità dei dati per Data Warehouse

Data integration and reconciliation in data warehousing: Conceptual modeling and reasoning support

A principled approach to data integration and reconciliation in data warehousing

Source integration

Experimental prototype supporting data reconciliation

Use of the reconciliation tool at Telecom Italia

Description logic framework for information integration

Information integration: Conceptual modeling and reasoning support

Knowledge representation approach to information integration

Source integration in data warehousing

Schema and data integration methodology for DWQ

Experimentation with the incremental view integration

Data Warehouse architecture and quality model

Source integration in data warehousing

e-Services

Best service synthesis in the Weighted Roman Model

Automatic service composition and synthesis: the Roman Model

Automatic web service composition: Service-tailored vs. client-tailored approaches

Automatic composition of web services with nondeterministic behavior

Composing web services with nondeterministic behavior

Composition of services with nondeterministic observable behavior

Automatic composition of transition-based semantic web services with messaging

Towards automatic web service discovery and composition in a context with semantics, messages, and internal process flow (a position paper)

Modeling data & processes for service specifications in Colombo

Automatic composition of web services in Colombo

Automatic composition of process-based web services: a challenge

Automatic service composition based on behavioral descriptions

E SC : A tool for automatic composition of e-Services based on logics of programs

Synthesis of underspecified composite e-Services based on automated reasoning

Synthesis of composite e-services based on automated reasoning

Automatic composition of e-services that export their behavior

Automatic composition of e-services

e-Service composition by description logics based reasoning

A foundational vision of e-services

A foundational framework for e-services

Reasoning about actions for e-service composition

Data Models

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

OCL-Lite: A decidable (yet expressive) fragment of OCL

Full satisfiability of UML class diagrams

Checking full satisfiability of conceptual models

Full satisfiability of UML class diagrams (extended abstract)

Reasoning over extended ER models

Reasoning on UML class diagrams

Finite satisfiability of UML class diagrams by constraint programming

Reasoning on UML class diagrams is EXPTIME-hard

Using the CIM conceptualization in autonomic system management: the System Management Ontology project

Toward a new landscape of system management in an autonomic computing environment

A formal framework for reasoning on UML class diagrams

Reasoning on UML class diagrams in description logics

Description logic formalization of CIM

Description logics for conceptual data modeling

Structured objects: Modeling and reasoning

Increasing the power of structured objects

Reasoning on object-oriented schemas for data reengineering

Making object-oriented schemas more expressive

On the interaction between ISA and cardinality constraints

Semistructured Data Modeling

Semistructured data schemas with expressive constraints

Local constraints in semistructured data schemas

Representing and reasoning on XML documents: A description logic approach

Modeling and querying semi-structured data

Queries and constraints on semi-structured data

Semi-structured data with constraints and incomplete information

Extending semi-structured data

What can knowledge representation do for semi-structured data?

Queries and constraints on semi-structured data

Representing and reasoning on SGML documents

Representing SGML documents in Description Logics

Knowledge-based access to the Web

Digital Libraries

Multilingual search in libraries: The case-study of the Free University of Bozen-Bolzano

The multilingual thesaurus of LAURIN

LAURIN: A distributed digital library of newspaper clippings

Building a digital library of newspaper clippings: The LAURIN project

LAURIN: A distributed digital library of newspaper clippings

Planning

Reasoning about actions and planning in LTL action theories

Ph.D. Thesis

Unrestricted and finite model reasoning in class-based representation formalisms

Rappresentazione della conoscenza basata su classi: ragionamento in modelli arbitrari e modelli finiti

Unrestricted and finite model reasoning in class-based representation formalisms (abstract of Ph.D. Thesis)

Edited Books and Reports

Research directions for principles of data management (Dagstuhl Perspectives Workshop 16151)

Research directions for principles of data management (Abridged)

Report on PODS 2015

Proc. of the 34th ACM SIGACT SIGMOD SIGAI Symp. on Principles of Database Systems (PODS 2015)

Digital Libraries on the Move -- Revised Selected Papers of the 11th Italian Research Conference on Digital Libraries (IRCDL 2015)

Automated reasoning on conceptual schemas (Dagstuhl Seminar 13211)

Proc. of the 2nd Int. Conf. on Web Reasoning and Rule Systems (RR 2008)

Proc. of the 20th Int. Workshop on Description Logics (DL 2007)

Proc. of the 16th Int. Workshop on Description Logics (DL 2003)

Proc. of the 13th Italian Symp. on Advanced Database Systems (SEBD 2005)

Proc. of the 9th Int. Conf. on Database Theory (ICDT 2003)

The description logic handbook: Theory, implementation, and applications

The description logic handbook: Theory, implementation, and applications

Proc. of the 9th Int. Workshop on Knowledge Representation meets Databases (KRDB 2002)