W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2003

RE: Species Validation and at Risk Feature

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>
Message-ID: <BHEGLCKMOHGLGNOKPGHDKEBOCCAA.jjc@hpl.hp.com>


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT