http://semanticweb.org/id/http://logic.aifb.uni-karlsruhe.de/wiki/

used by 0: