http://semanticweb.org/id/Category-3ATopic_description_logics

used by 0: