RE: Species Validation and at Risk Feature

• From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
• Date: Tue, 30 Sep 2003 11:46:20 +0200
• To: "Sean Bechhofer" <seanb@cs.man.ac.uk>, "Jim Hendler" <hendler@cs.umd.edu>
• Cc: "webont" <www-webont-wg@w3.org>
• Message-ID: <BHEGLCKMOHGLGNOKPGHDOEBNCCAA.jjc@hpl.hp.com>

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.

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 05:48:28 UTC