W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2008

Re: not the negative guards alone cause pathologic examples!!!!...

From: Axel Polleres <axel.polleres@deri.org>
Date: Sat, 27 Sep 2008 17:10:59 -0400
Message-ID: <48DEA163.7030401@deri.org>
To: Axel Polleres <axel.polleres@deri.org>
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Ooops, forget it, the examples was nonsense... seems that the jetlag 
kicks in. but I am still not entirely convinced that only negative 
guards are the problem.

axel

Axel Polleres wrote:
> Please note that Jos pathological use case
> 
> http://www.w3.org/2005/rules/wiki/Disjunctive_Information
> 
> can very similarly be modeled with comparison operators, which doesn't 
> only put negative guards, but also our "convenient"
> less-than-or-equal, greater-than-or-equal predicates at risk:
> 
> 
> Document(
> Prefix(ex http://example.com/example#)
> Prefix(pred http://www.w3.org/2007/rif-builtin-predicate#)
> 
> Group(
> ex:p(ex:a)
> Forall ?x (1=2 :- And (ex:p(?x) pred:less-than(?x 5)
> pred:greater-than(?x 0) ) )
> )
> 
> entails:
> 
> Or ( pred:greater-than-or-equal(ex:a 5)
>      pred:less-than-or-equal(ex:a 0) )
> 
> 
> best,
> Axel
> 
> 


-- 
Dr. Axel Polleres, Digital Enterprise Research Institute (DERI)
email: axel.polleres@deri.org  url: http://www.polleres.net/

Everything is possible:
rdfs:subClassOf rdfs:subPropertyOf rdfs:Resource.
rdfs:subClassOf rdfs:subPropertyOf rdfs:subPropertyOf.
rdf:type rdfs:subPropertyOf rdfs:subClassOf.
rdfs:subClassOf rdf:type owl:SymmetricProperty.
Received on Saturday, 27 September 2008 21:11:42 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:54 GMT