- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Sun, 16 Nov 2003 19:49:23 +0100
- To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
- Cc: www-rdf-logic@w3.org
Hi Jeremy!
> 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 ?
We found so
i.e. your given statement is an inconsistency we think
at least we found so using
{{?I => {?X a owl:Nothing}} = ?I} => {?I log:inconsistentWith owl:}.
and so anything follows
(but we needed to do it in 2 steps like in the recently added
http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment test)
> 2)
> Have I made any syntax errors?
I haven't found so
also Cwm worked
but Jena gave
N3toRDF: All statements are asserted - no formulae in RDF
?-)
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 16 November 2003 13:53:31 UTC