[LC response] To Simon Paradies Re: Syntactic sugar for closure axioms

Dear Simon,

Thank you for your comment
     <http://lists.w3.org/Archives/Public/public-owl-comments/2009May/0011.html>
on the OWL 2 Web Ontology Language last call drafts.

We agree that it would be very useful to have a compact way of stating
closure axioms. There have been past proposals to move OWL in this
direction, but they have not been made part of OWL to this date, partly
because of implementation concerns. Nonetheless interest in these kinds
of features remains high. Your comment will help serve as a reminder of
this interest for any future W3C work on OWL. 

In the meantime, you might consider producing a proposal in
collaboration with other interested parties. The OWLED workshops are a
good place to float these sorts of ideas and to see what interest they
garner. You could also make a W3C member submission in this area. 

Please acknowledge receipt of this email to
     <mailto:public-owl-comments@w3.org> 
(replying to this email should suffice). In your acknowledgment please
let us know whether or not you are satisfied with the working group's
response to your comment.  

Regards,
Peter F. Patel-Schneider
on behalf of the W3C OWL Working Group

Received on Wednesday, 13 May 2009 17:39:11 UTC