W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2009

Negative property assertions and complementOf in Profiles implemented

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Wed, 8 Apr 2009 20:32:32 +0100
To: <public-owl-wg@w3.org>
Message-ID: <7ABB8CA25F8345A694E9046E1D7C3368@wolf>

I've just implemented negative property assertions and complementOf in Profiles.
Here is the diff:


Just one point: the RDF mapping uses slightly different transformations for
negative data and object property assertions. (In the case of data property
assertions, we are using owl:targetValue, while in the case of object property
assertions, we are using owl:targetIndividual.) Because of that, I needed to add
two rules for negative property assertions. From a technical point of view,
however, if we used just owl:targetValue for both negative object and data
property assertions (which we could: the mapping would work), we could dispense
with one rule.

Finally, I'd like to point out that hat eating does not apply in case I made a
typo, but only if there is something conceptually wrong with this feature :-) 


Received on Wednesday, 8 April 2009 19:33:49 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:11 UTC