@prefix dc: .
<> dc:description """test that log:uri only
gives URIs that somebody actually used, not variable names
run it ala:
python cwm.py --rdf test/animal.rdf --n3 test/vblsNotURIs.n3 --think
""";
dc:version
"$Id: vblsNotURIs.n3,v 1.3 2004/06/25 01:26:59 timbl Exp $".
@prefix d12: .
@prefix log: .
@prefix : <#>.
@forAll :i, :o.
:x d12:restrictedBy [ a :Something ].
{ [] d12:restrictedBy :o }
log:implies { :o a :Found }.
{ [] d12:restrictedBy :o.
:o log:uri :i }
log:implies { :o :called :i }.