- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Sun, 16 Nov 2003 17:10:50 +0100
- To: www-rdf-logic@w3.org
Two questions:
1)
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
{
<http://example.org/liar>
log:implies {
<http://example.org/noone> a owl:Nothing .
} .
} owl:sameAs <http://example.org/liar> .
<http://example.org/liar> a log:Truth ?
2)
Have I made any syntax errors?
Jeremy
Received on Sunday, 16 November 2003 11:11:19 UTC