Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel CQAPri
CQAPri - Consistent Query Answering with Priorities
Date de dernière version : 01 septembre 2014

Responsable : BOURGAUX Camille


Réponses aux requêtes en présence d'une ontologie en DL-Lite, dans le cas où les données sont inconsistantes avec l'ontologie. Calcule les réponses sous sémantiques AR et IAR, en tenant compte d'une éventuelle stratification des données en niveaux de priorité.

Pour en savoir plus: https://www.lri.fr/~bourgaux/CQAPri/CQAPri.php

Logiciel



Activités de recherche
  Raisonnement automatique

Membres
  GOASDOUE François
  BIENVENU Meghyn
  BOURGAUX Camille

Equipe
  Données et Connaissances Massives et Hétérogènes

Logiciels et brevets
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAGE-COMBINAT
Améliorer les fonctionnalités combinatoires de Sage

PINT
Static analyzer for dynamics of Automata Networks