W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2008

Resolution of ISSUE-148 (topDataProperty) implemented

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Fri, 7 Nov 2008 18:50:57 -0000
To: <public-owl-wg@w3.org>
Message-ID: <5A2F7C11EA1A4818B3142964094FB0C6@wolf>


I've just implemented the resolution of ISSUE-148 (topDataProperty); here are the diffs:


Direct Semantics (a minor update to the proof of Theorem 1 was needed):

I've also made one editorial change in the Syntax document: owl:topObjectProperty can now occur as a subproperty in
SubObjectPropertyOf axioms. There was no real need for this restriction. I made this change because, after I had added a set of
similar but different restrictions on owl:topDataProperty, the two restrictions struck me as rather convoluted and messy. To
simplify matters, I've simply removed the unnecessary restriction on owl:topObjectProperty.


Received on Friday, 7 November 2008 18:51:39 UTC

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