Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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 - UMR 9189
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01413887
Contributor : Inria Links Connect in order to contact the contributor
Submitted on : Sunday, December 11, 2016 - 6:14:16 PM
Last modification on : Wednesday, March 23, 2022 - 3:51:22 PM

Identifiers

  • HAL Id : hal-01413887, version 1

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⟩

Share

Metrics

Record views

120