W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Mon, 3 Dec 2007 09:33:26 +0000
Message-Id: <96401107-EF05-4A4A-ABE4-BCAEA23B7578@cs.man.ac.uk>
Cc: Alan Ruttenberg <alanruttenberg@gmail.com>, Vipul Kashyap <VKASHYAP1@PARTNERS.ORG>, OWL Working Group WG <public-owl-wg@w3.org>
To: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>

On Dec 3, 2007, at 9:04 AM, Ian Horrocks wrote:

> To summarise: This is not allowed in the existing syntax, it would  
> lead to undecidability if it were allowed, and it is not supported  
> by implementations. I therefore propose to postpone it on these  
> grounds.

Just to be clear...I could be perhaps persuaded to support such a  
feature if a clear implementation story were available to me and  
several people could point to use cases.

That is, I'm personally more concerned with implementability (given  
exisiting tools) than strict implementation. (Obviously, if something  
is highly implementable, it shouldn't be hard to quickly implement  
it. So, again, I think the strategy of lobbying for implementation  
feedback is a good one.)

Cheers,
Bijan.
Received on Monday, 3 December 2007 09:33:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT