W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2011

Re: A solution to integrate CWA into OWA. ADDENDUM

From: Dave Andersen <dja222@hotmail.com>
Date: Wed, 2 Mar 2011 13:14:57 +0100
Message-ID: <COL116-W58C40D7C5B87EC52B6651792C00@phx.gbl>
To: <public-owl-dev@w3.org>, <pascal.hitzler@wright.edu>, <baojie@gmail.com>

Dear All,

Some extra actions must be applied before so called NULL-properties can be assigned to individuals:
1. Look for individuals that seems to be equal via e.g. owl:sameAs, owl:InverseFunctionalProperty etc.
2. Also look for properties that seems to be equal via e.g. owl:equivalentProperty.
All the above is necessary because some individuals that seems to lack certain properties, might seem to have those properties after all. This way adding a NULL-property might even introduce inconstistencies!
3. Then the individuals that are considered as not explicitly or implicitly equal, are all declared disjoint (via owl:AllDifferent). 
Also ambiguity is resolved (point 3.).
4. Now the creation of so called NullProp classes ( point 2.2a from previous mail, can take a start).

Received on Wednesday, 2 March 2011 12:15:51 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:20 UTC