Re: A solution to integrate CWA into OWA. ADDENDUM

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).

Regards,
DJ