Query and Predicate Emptiness in Description Logics

Franz Baader 1 Meghyn Bienvenu 2, 3, 4 Carsten Lutz 4 Frank Wolter 5
3 LEO - Distributed and heterogeneous data and knowledge
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00624141
Contributor : Meghyn Bienvenu <>
Submitted on : Thursday, September 15, 2011 - 9:25:31 PM
Last modification on : Monday, December 9, 2019 - 5:24:02 PM

Identifiers

  • HAL Id : hal-00624141, version 1

Collections

Citation

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. Query and Predicate Emptiness in Description Logics. International Conference on the Principles of Knowledge Representation and Reasoning (KR), May 2010, Toronto, Canada. pp.192-202. ⟨hal-00624141⟩

Share

Metrics

Record views

159