- From: Seaborne, Andy <Andy_Seaborne@hplb.hpl.hp.com>
- Date: Mon, 17 Nov 2003 10:05:12 -0000
- To: "'Jos De_Roo'" <jos.deroo@agfa.com>
- Cc: www-rdf-logic@w3.org, "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
Jos,
> but Jena gave
> N3toRDF: All statements are asserted - no formulae in RDF
> ?-)
The N3 parser in Jena is (should be) complete and it does parse this
expression.
The error you are getting is when you try to read into an RDF model because
and RDF models can't express formulae. Its only the N3 to RDF conversion
stage that throws the error - the parser does not care - because its not
pure RDF.
An application can access the parser directly if it wants to but it will
have to do something with the parser output (a stream of quads, with the an
slot to record which base formula the triple is in).
You can access just the parser from the command line with:
java -cp ... jena.n3 <file>
-n turns off the raw parser output.
Andy
-------- Original Message --------
> From: Jos De_Roo <mailto:jos.deroo@agfa.com>
> Date: 16 November 2003 18:54
>
> 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
> ?-)
Received on Monday, 17 November 2003 05:07:47 UTC