W3C home > Mailing lists > Public > public-rif-comments@w3.org > April 2010

Re: please keep Equality in the rule conclusion

From: Dan Connolly <connolly@w3.org>
Date: Wed, 14 Apr 2010 13:22:06 -0500
To: Axel Polleres <axel.polleres@deri.org>
Cc: public-rif-comments@w3.org
Message-ID: <1271269326.4466.3168.camel@pav.lan>
On Wed, 2010-02-24 at 22:38 +0000, Axel Polleres wrote:
> FWIW, (personal opinion...no group opinion) for doing owl:sameAs we don't need equality in rule-heads...
> my guess is that for your use cases it is sufficient to axiomatise owl:sameAs, at least 
> for pD*, ORL2RL that's all you need...

ah... quite. Thanks.

> 
> i.e. you can write the axiomatisation all in RIF without equality in ruleheads 
> (not sure whether these rules are exactly what is in pD*, OWL2RL from the top of 
> my head now... just to exemplify):
> 
> {S1 P O} :-  {S1 owl:sameAs S . S P O }
> {S P1 O} :-  {P1 owl:sameAs P . S P O }
> {S P O1} :-  {O1 owl:sameAs O . S P O }
> {Y owl:sameAs X} :-  {X owl:sameAs Y.}
> {Y owl:sameAs Z} :-  {X owl:sameAs Y . Y owl:sameAs Z}
> {S owl:sameAs S} :-  { S P O }
> {P owl:sameAs P} :-  { S P O }
> {O owl:samaAs O} :-  { S P O }
> 
> 
> HTH,
> Axel
> 
> On 24 Feb 2010, at 22:13, Dan Connolly wrote:
> 
> > Use case: writing the pD* semantics of OWL in RIF.
> > 
> > http://www.ontotext.com/inference/rdfs_rules_owl.html#horst05
> > 
> > --
> > Dan Connolly, W3C http://www.w3.org/People/Connolly/
> > gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
> > 
> > 
> > 
> 
> 


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Wednesday, 14 April 2010 18:22:12 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 14 April 2010 18:22:12 GMT