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
2 Computer science departement [Bremen]
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

Collections

CNRS | INRIA | CRISTAL | INRIA2 | CRISTAL-LINKS | UNIV-LILLE

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

120

 

Contact                    Legal Notice                    Personal Data