A vocabulary to describe rules (RIF, N3, Prolog, etc.) in the Web, which enables to effectively and efficiently discover rules in any format, based on topics, language, goals,...

orca, the Ontology of Reasoning, Certainty and Attribution, is an ontology for characterizing the certainty of information, how it is known, and its source