- From: <henry.story@bblfish.net>
- Date: Mon, 3 Mar 2014 09:25:50 +0100
- To: "Kingsley (Uyi) Idehen" <kidehen@openlinksw.com>
- Cc: public-ldp-wg@w3.org
- Message-Id: <58989D29-C245-4467-BC26-757A16DA6C8E@bblfish.net>
On 3 Mar 2014, at 00:18, Kingsley Idehen <kidehen@openlinksw.com> wrote: > On 3/2/14 2:39 PM, henry.story@bblfish.net wrote: >> Hi, >> >> I have set up a wiki page on the ldp Container Hierarchy question here: >> >> https://www.w3.org/2012/ldp/wiki/ContainerHierarchy >> >> I wrote up an ontology that we can all agree to, and then argued from the spec >> to a number of extra owl constraints. >> >> ( I may have found one missing constraint in the basic containers ) >> >> Here is the ontology: >> >> >> >> Henry Story >> >> Social Web Architect >> http://bblfish.net/ >> > > All, > > You can read the ontology here, starting with the Container class description [1] . > > [1] http://bit.ly/1cm0V7p -- LDP Container . Thanks. I weaked the base ontology to remove some domain assertions which could have messed up the reasoning. I also defined the Direct and Basic containers purely in terms of restrictions. The proofs from protege are then much nicer. > > -- > > Regards, > > Kingsley Idehen > Founder & CEO > OpenLink Software > Company Web: http://www.openlinksw.com > Personal Weblog: http://www.openlinksw.com/blog/~kidehen > Twitter Profile: https://twitter.com/kidehen > Google+ Profile: https://plus.google.com/+KingsleyIdehen/about > LinkedIn Profile: http://www.linkedin.com/in/kidehen > > > > Social Web Architect http://bblfish.net/
Received on Monday, 3 March 2014 08:26:57 UTC