jrbn··on SWI-Prolog for the semantic webOWA exists only on paper. Practically all implementations assume CWA.