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

Re: Proposal to close ISSUE-83 and ISSUE-8

From: Jim Hendler <hendler@cs.rpi.edu>
Date: Thu, 10 Jan 2008 17:57:54 -0500
Message-Id: <F1BDD3B5-B3BB-4EFC-B351-D43468DC925F@cs.rpi.edu>
Cc: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
I must admit to being confused- I thought the issue of property  
chains ending in data properties has the same decidability as  
inversefunctional datatypes - that is, that Uli has a suggestion we  
might adopt that fixes things (Bijan - you wailed on me when you  
thought i was ignoring this!) -- is there a reason these are  
different?  If not, shouldn't the solution work for Issue 8 as well?
p.s. I was told this about issue 8, I cannot tell for sure if it also  
is the case for issue-83, because I don't understand the differences  
well enough

On Jan 10, 2008, at 5:23 PM, Bijan Parsia wrote:

> These are both about property chains. 83 about having object  
> property chains on both sides of subproperty axiom and 8 about  
> having some data properties in property chain axioms.
> I thought that ISSUE-83 was already closed by:
> 	http://www.w3.org/mid/8B922423-FFBC-4770-9B44-560AC519B559% 
> 2540gmail.com
> but it's still open in the tracker.
> Peter proposed closing ISSUE-8 along the same lines:
> 	http://lists.w3.org/Archives/Public/public-owl-wg/2007Dec/0154.html
> And that seems exactly right. I see no support from implementors  
> (nor strong outcry from users). If it gets implemented in some  
> reasoner before we go to last call, we could always reopen the  
> issue on that new information. There is already syntax available  
> for it, so as an extension to OWL 1.1 from the non-reasoner tool  
> perspective, it is pretty low impact.
> Cheers,
> Bijan.

"If we knew what we were doing, it wouldn't be called research, would  
it?." - Albert Einstein

Prof James Hendler				http://www.cs.rpi.edu/~hendler
Tetherless World Constellation Chair
Computer Science Dept
Rensselaer Polytechnic Institute, Troy NY 12180
Received on Thursday, 10 January 2008 22:58:08 UTC

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