implementation expectation/experience in euler

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 UTC