Re: experimental "WORKER" proof

• From: <jos.deroo@agfa.com>
• Date: Sun, 11 Sep 2005 02:26:18 +0200
• To: connolly@w3.org
• Cc: www-archive@w3.org
• Message-ID: <OF9FE80AD3.1E2D1EA4-ONC1257078.0081D90F-C1257079.00025CA5@agfa.com>

I now think that

CONSTRUCT {C}
WHERE {{W1} UNION {W2} ... UNION {Wn}}

should return

{C_for_solution1_of_W1} UNION {C_for_solution2_of_W1} ... UNION 
{C_for_last_solution_of_W1}
{C_for_solution1_of_W2} UNION {C_for_solution2_of_W2} ... UNION 
{C_for_last_solution_of_W2}
...
{C_for_solution1_of_Wn} UNION {C_for_solution2_of_Wn} ... UNION 
{C_for_last_solution_of_Wn}


UNION is disjunctive whereas }{ is conjunctive
will test asap

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/




Jos De_Roo
08/09/2005 14:36

 
        To:     w3c archive
        cc: 
        Subject:        experimental "WORKER" proof

for data

:Paul a :WORKER.
:Andrea a :WORKER.
:Simon a :EMPLOYEE.
:Caroline a :MANAGER.
:Paul :has-friend :Andrea.
:Paul :has-friend :Simon.
:Simon :has-friend :Andrea.
:Andrea :has-friend :Caroline.

:WORKER owl:unionOf (:EMPLOYEE :MANAGER).


and query

PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX : <enricoP#>

CONSTRUCT {(?X ?Y ?Z) :provedAs :possibleModel}
WHERE {?X a :WORKER; :has-friend ?Y. ?Y a :EMPLOYEE; :has-friend ?Z. ?Z a 
:MANAGER}


is getting

{{:Paul a :WORKER} e:evidence <file:/temp/enricoP.n3#_6>. 
 {:Paul :has-friend :Andrea} e:evidence <file:/temp/enricoP.n3#_10>. 
 {{:Andrea a :WORKER} e:evidence <file:/temp/enricoP.n3#_7>. 
  {{:Paul a :WORKER} e:evidence <file:/temp/enricoP.n3#_6>. 
   {:Paul :has-friend :Simon} e:evidence <file:/temp/enricoP.n3#_11>. 
   {:Simon a :EMPLOYEE} e:evidence <file:/temp/enricoP.n3#_8>. 
   {:Simon :has-friend :Andrea} e:evidence <file:/temp/enricoP.n3#_12>. 
   {{e:quod e:erat e:demonstrandum} => {}} e:evidence 
<file:/temp/enricoP.n3#_23>} e:sequent {
  {{:Andrea a :MANAGER} => {}} e:evidence <file:/temp/enricoP.n3#_21>}} 
e:sequent {
 {:Andrea a :EMPLOYEE} e:evidence <file:/temp/enricoP.n3#_17>}. 
 {:Andrea :has-friend :Caroline} e:evidence <file:/temp/enricoP.n3#_13>. 
 {:Caroline a :MANAGER} e:evidence <file:/temp/enricoP.n3#_9>} e:sequent {
{(:Paul :Andrea :Caroline) :provedAs :possibleModel} e:evidence <http://www.w3.org/2002/07/owl#kb>}. 

{{:Paul a :WORKER} e:evidence <file:/temp/enricoP.n3#_6>. 
 {:Paul :has-friend :Simon} e:evidence <file:/temp/enricoP.n3#_11>. 
 {:Simon a :EMPLOYEE} e:evidence <file:/temp/enricoP.n3#_8>. 
 {:Simon :has-friend :Andrea} e:evidence <file:/temp/enricoP.n3#_12>. 
 {{:Andrea a :WORKER} e:evidence <file:/temp/enricoP.n3#_7>. 
  {{:Paul a :WORKER} e:evidence <file:/temp/enricoP.n3#_6>. 
   {:Paul :has-friend :Andrea} e:evidence <file:/temp/enricoP.n3#_10>. 
   {:Andrea :has-friend :Caroline} e:evidence <file:/temp/enricoP.n3#_13>. 

   {:Caroline a :MANAGER} e:evidence <file:/temp/enricoP.n3#_9>. 
   {{e:quod e:erat e:demonstrandum} => {}} e:evidence 
<file:/temp/enricoP.n3#_23>} e:sequent {
  {{:Andrea a :EMPLOYEE} => {}} e:evidence <file:/temp/enricoP.n3#_22>}} 
e:sequent {
 {:Andrea a :MANAGER} e:evidence <file:/temp/enricoP.n3#_18>}} e:sequent {
{(:Paul :Simon :Andrea) :provedAs :possibleModel} e:evidence <http://www.w3.org/2002/07/owl#kb>}. 


and with -nope

(:Paul :Andrea :Caroline) :provedAs :possibleModel. 
(:Paul :Simon :Andrea) :provedAs :possibleModel. 


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Sunday, 11 September 2005 00:26:25 UTC