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
2 Computer science departement [Bremen]
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 : vendredi 13 avril 2018 - 01:28:02

Identifiants

  • HAL Id : hal-01413887, version 1

Collections

INRIA

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

89

Contact


archive-ouverte@inria.fr