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 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 GMT

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