CQAPri - Consistent Query Answering with Priorities


Person in charge : BOURGAUX Camille


Consistent query answering over a DL-Lite knowledge box. Compute the answers which hold under AR or IAR semantics, for classical or priority-based repairs in the case where the data is partitioned into priority levels.

More information: https://www.lri.fr/~bourgaux/CQAPri/CQAPri.php





Research activities
  Automated Reasoning

Members
  GOASDOUE François
  BIENVENU Meghyn
  BOURGAUX Camille

Group
  Large-scale Heterogeneous DAta and Knowledge

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé