Logics for AI

Semantic characterization of data services through ontologies
Bagging the DL-Lite Family Further
On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies
Exploiting ontologies for explaining data sources semantics
Preliminary results on Ontology-based Open Data Publishing
On queries with inequalities in DL-LiteR≠
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime
Ontology-based explanation of classifiers

The rise of data mining and machine learning use in many applications has brought new challenges related to classification. Here, we deal with the following challenge: how to interpret and understand the reason behind a classifier's prediction. Indeed, understanding the behaviour of a classifier is...
Reverse engineering of data services
Artificial Intelligence and Knowledge Representation

Research in Artificial Intelligence at DIAG started in the early 80s and established this research group as one of the most prominent ones in the field of logic-based knowledge representation and automated reasoning. Research has been conducted in many areas, with several outstanding results....