RE: Species Validation and at Risk Feature

I missed a != see in-line (the code now works - i.e. the Jena syntax checker
passes all the CR tests and in the editors draft passes everything except
I5.8-016 user defined datatype).

Jeremy

> -----Original Message-----
> From: www-webont-wg-request@w3.org
> [mailto:www-webont-wg-request@w3.org]On Behalf Of Jeremy Carroll
> Sent: 30 September 2003 11:46
> To: Sean Bechhofer; Jim Hendler
> Cc: webont
> Subject: RE: Species Validation and at Risk Feature
>
>
>
>
>
> I am just coding up the at risk feature - I think it amounts to the
> following.
>
> =====
>
> For each blank node bb with type owl:Class or owl:Restriction
> exactly one of
> the following is true:
>
> 1) It is the object of exactly one triple with predicate other than
> owl:disjointWith or owl:equivalentClass.
>
> 2) It is the subject or object of one or more owl:equivalentClass triple
>
> 3) It is the subject or object of one or more owl:disjointWith triples and
>    for all blank or URI nodes x and y  where
>             x owl:disjointWith bb .
>          or bb owl:disjointWith x.
>       and
>             y owl:disjointWith bb .
>          or bb owl:disjointWith y.
>
>    then
>          y owl:disjointWith x .
>          or x owl:disjointWith y.

           or x == y

>
> 4) It is an orphan (i.e. none of the above)
>
>
> In cases 2, 3 and 4 the graph is in OWL DL.
>
> Jeremy
>
>
>
>