- From: <jos.deroo@agfa.com>
- Date: Sun, 4 Sep 2005 00:20:10 +0200
- To: jos.deroo@agfa.com
- Cc: connolly@w3.org, public-rdf-dawg@w3.org
log:equalTo was wrong assumption, should have been owl:sameAs
query http://www.agfa.com/w3c/euler/example003Q.rq is now running
given a background graph which is the merge of
http://lists.w3.org/Archives/Public/public-cwm-talk/2005JulSep/att-0021/example001P.n3
http://lists.w3.org/Archives/Public/public-cwm-talk/2005JulSep/att-0021/example002P.n3
and the rdf plus owl inferencing with
http://www.agfa.com/w3c/euler/rpo-rules.n3
the answer is
http://www.agfa.com/w3c/euler/example003E.n3
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Jos De_Roo
02/09/2005 17:54
To: Dan Connolly
cc: public-rdf-dawg@w3.org
Subject: 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 Saturday, 3 September 2005 22:20:25 UTC