Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Pierre Bourhis 1 Carsten Lutz 2
1 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Type de document :
Communication dans un congrès
Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa
Liste complète des métadonnées

https://hal.inria.fr/hal-01413887
Contributeur : Inria Links <>
Soumis le : dimanche 11 décembre 2016 - 18:14:16
Dernière modification le : mardi 3 juillet 2018 - 11:32:41

Identifiants

  • HAL Id : hal-01413887, version 1

Collections

Citation

Pierre Bourhis, Carsten Lutz. Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics . Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. 〈hal-01413887〉

Partager

Métriques

Consultations de la notice

174