- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Tue, 30 Sep 2003 14:05:11 +0200
- To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, "Sean Bechhofer" <seanb@cs.man.ac.uk>, "Jim Hendler" <hendler@cs.umd.edu>
- Cc: "webont" <www-webont-wg@w3.org>
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
>
>
>
>
Received on Tuesday, 30 September 2003 08:12:23 UTC