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

used by 0: