Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Reasoning over Existential Rules with Acyclicity Notions
du groupe Séminaire Méthodes Formelles

Date 2018-12-18  11:00-12:00
TitreReasoning over Existential Rules with Acyclicity Notions 
RésuméThe chase is a sound and complete (albeit non-terminating) algorithm for conjunctive query answering over ontologies of existential rules. On the theoretical side, we develop sufficient conditions to guarantee its termination (i.e., acyclicity notions), and study several restrictions that furthermore ensure its polynomiality. On the practical side, we empirically study the generality of these conditions and we extend the Datalog engine VLog to develop an efficient implementation of the chase. Furthermore, we conduct an extensive evaluation, and show that VLog can compete with the state of the art, regarding runtime, scalability, and memory efficiency. 
Lieu178 
OrateurDavid Carral 
Emailhttps://iccl.inf.tu-dresden.de/web/David_Carral 
UrlTU Dresden 



Aucun document lié à cet événement.

Retour
Retour à l'index