Re: context sensitivity

having both and 
and also now some extra rules in
http://www.agfa.com/w3c/euler/rpo-rules.n3
(reusing OWL properties)
the query seems to not stop..
tried many things, but still the same..


for euler am getting
:Ann rpo:mu ((:ChildAge :IncreasedIntraocularPressure)^owl:intersectionOf 
0.4167000000000005). 
:Ann rpo:mu ((:AdultAge :IncreasedIntraocularPressure)^owl:unionOf 
0.7222222222222227). 
:Ann rpo:mu (:IncreasedIntraocularPressure^owl:complementOf 
0.27777777777777735). 
:Ann rpo:mu ((:AdultAge 
:NormalIntraocularPressure^owl:complementOf)^owl:intersectionOf 
0.5832999999999995). 


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




Jos De_Roo
04/08/2005 01:08

 
        To:     public-cwm-talk@w3.org
        cc: 
        Subject:        context sensitivity

while modeling fuzzy sets in N3, this was kind of straightforward
to have fuzzy sets :Child and :Adult as

@prefix math: <http://www.w3.org/2000/10/swap/math#>. 
@prefix fa: <fa-rules#>.
@prefix : <case001#>.

:Ann a :Person; :age 18.1666.

{?P a :Person; :age ?A.
 ?A math:lessThan 17}
 => {?P fa:mu (:Child 1.0)}.

{?P a :Person; :age ?A.
 ?A math:notLessThan 17; math:lessThan 19.
 (1.0 ((?A 17)!math:difference 2)!math:quotient) math:difference ?M}
 => {?P fa:mu (:Child ?M)}.

{?P a :Person; :age ?A.
 ?A math:notLessThan 19}
 => {?P fa:mu (:Child 0.0)}.

{?P a :Person; :age ?A.
 ?A math:lessThan 17}
 => {?P fa:mu (:Adult 0.0)}.

{?P a :Person; :age ?A.
 ?A math:notLessThan 17; math:lessThan 19.
 ((?A 17)!math:difference 2) math:quotient ?M}
 => {?P fa:mu (:Adult ?M)}.

{?P a :Person; :age ?A.
 ?A math:notLessThan 19}
 => {?P fa:mu (:Adult 1.0)}.


so that query

@prefix q: <http://www.w3.org/2004/ql#>.
@prefix fa: <fa-rules#>.
@prefix : <case001#>.

[]
q:select {?P fa:mu ?V};
q:where  {?P fa:mu ?V}.


gives answer

    :Ann     fa:mu  (
        :Adult 
        0.5833  ),
                 (
        :Child 
        0.4167  ) .


but I'm wondering wether this is enough context insensitive.. 


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