An OWL 2 Ontology describing various description logics and their properties, such that reasoning on given properties can be performed.