W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2005

implementation expectation/experience in euler

From: <jos.deroo@agfa.com>
Date: Fri, 2 Sep 2005 17:54:08 +0200
To: connolly@w3.org
Cc: public-rdf-dawg@w3.org
Message-ID: <OFA5870A76.FFFA52DA-ONC1257070.00529660-C1257070.005750E9@agfa.com>

Hi, Dan

We do expect to have partial SPARQL implementation in euler soon
including lots of OWL
will mainly be something like


PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>
PREFIX : <case001#>

CONSTRUCT
  {?P rpo:mu ?X}

WHERE {
  {?P rpo:mu ((:ChildAge :IncreasedIntraocularPressure)^owl:intersectionOf 
?M).
   ?X log:equalTo ((:ChildAge 
:IncreasedIntraocularPressure)^owl:intersectionOf ?M)}
  UNION
  {?P rpo:mu ((:AdultAge :IncreasedIntraocularPressure)^owl:unionOf ?M).
   ?X log:equalTo ((:AdultAge :IncreasedIntraocularPressure)^owl:unionOf 
?M)}
  UNION
  {?P rpo:mu (:IncreasedIntraocularPressure^owl:complementOf ?M).
   ?X log:equalTo (:IncreasedIntraocularPressure^owl:complementOf ?M)}
  UNION
  {?P rpo:mu ((:AdultAge 
:NormalIntraocularPressure^owl:complementOf)^owl:intersectionOf ?M).
   ?X log:equalTo ((:AdultAge 
:NormalIntraocularPressure^owl:complementOf)^owl:intersectionOf ?M)}
}

Hmm.. the ^ might be too much N3..


We now do this in N3QL


@prefix owl: <http://www.w3.org/2002/07/owl#>. 
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix : <case001#>.

[]
q:select {?P rpo:mu ((:ChildAge 
:IncreasedIntraocularPressure)^owl:intersectionOf ?M)};
q:where  {?P rpo:mu ((:ChildAge 
:IncreasedIntraocularPressure)^owl:intersectionOf ?M)}.

[]
q:select {?P rpo:mu ((:AdultAge :IncreasedIntraocularPressure)^owl:unionOf 
?M)};
q:where  {?P rpo:mu ((:AdultAge :IncreasedIntraocularPressure)^owl:unionOf 
?M)}.

[]
q:select {?P rpo:mu (:IncreasedIntraocularPressure^owl:complementOf ?M)};
q:where  {?P rpo:mu (:IncreasedIntraocularPressure^owl:complementOf ?M)}.

[]
q:select {?P rpo:mu ((:AdultAge 
:NormalIntraocularPressure^owl:complementOf)^owl:intersectionOf ?M)};
q:where  {?P rpo:mu ((:AdultAge 
:NormalIntraocularPressure^owl:complementOf)^owl:intersectionOf ?M)}.


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 2 September 2005 16:31:58 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:24 GMT