I am trying to use cwm to verify my foaf+ssl spot 2009 proof
cwm
http://github.com/bblfish/foafssl-java/raw/master/papers/spot2009/n3/proof1.n3 --mode=rse --think
Any idea why this does not fetch the log:semantics of romeoCACert.n3 ?
Henry
Social Web Architect
http://bblfish.net/