RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1

It is possible to extend the spec. to address this?
 
---Vipul


________________________________

	From: Ian Horrocks [mailto:ian.horrocks@comlab.ox.ac.uk] 
	Sent: Sunday, December 02, 2007 9:56 AM
	To: Jim Hendler
	Cc: Uli Sattler; Kashyap, Vipul; Jeremy Carroll; OWL Working Group WG
	Subject: Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
	
	
	Not as things stand, because the syntax only allows for inclusions of
the form P1 o ... o Pn => P (i.e., this is not just a "Nonstructural
Restriction").

	Ian


	On 30 Nov 2007, at 18:59, Jim Hendler wrote:


		but we could include it in OWL 1.1 Full, of course, right?

		On Nov 30, 2007, at 10:01 AM, Uli Sattler wrote:



			makes reasoning undecidable (even R o S => T in general,
ie, without the restrictions imposed by OWL 1.1  because it allows  you to
reduce the intersection problem of contex-free languages to satisfiability of
concepts)...
			Cheers, Uli

			On 30 Nov 2007, at 14:53, Kashyap, Vipul wrote:




				Would be interested in on the ramifications on
the complexity of reasoning.

				---Vipul


					-----Original Message-----
					From: public-owl-wg-request@w3.org
					[mailto:public-owl-wg-request@w3.org] On
Behalf Of Jeremy Carroll
					Sent: Friday, November 30, 2007 8:53 AM
					To: OWL Working Group WG
					Subject: Re: ISSUE-83 (Vipul): Property
Chain Axiom: P1 o P2
					=> P2 o P1


					OWL Working Group Issue Tracker wrote:


					ISSUE-83 (Vipul): Property Chain Axiom:
P1 o P2 => P2 o P1

	
http://www.w3.org/2007/OWL/tracker/issues/

					Raised by: Vipul Kashyap
					On product:

					I would like support for the property
chain axiom.
					The use case is based on Alan Rector's
example in the DL Handbook

					Skin of the finger is part of the skin
of the hand.
					covers o part --> part o covers

					Thanks,

					---Vipul







					Interestingly, the constructs we already
have, put this into the OWL
					Full version of the language ...

					Jeremy




				The information transmitted in this electronic
communication is intended only
				for the person or entity to whom it is addressed
and may contain confidential
				and/or privileged material. Any review,
retransmission, dissemination or other
				use of or taking of any action in reliance upon
this information by persons or
				entities other than the intended recipient is
prohibited. If you received this
				information in error, please contact the
Compliance HelpLine at 800-856-1983 and
				properly dispose of this information.







		
		"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







The information transmitted in this electronic communication is intended only
for the person or entity to whom it is addressed and may contain confidential
and/or privileged material. Any review, retransmission, dissemination or other
use of or taking of any action in reliance upon this information by persons or
entities other than the intended recipient is prohibited. If you received this
information in error, please contact the Compliance HelpLine at 800-856-1983 and
properly dispose of this information.