ISSUE-83

Property Chain Axioms

RESOLVED: Property Chain Axiom: P1 o P2 => P2 o P1

State:

CLOSED

Product:

Raised by:

Vipul Kashyap

Opened on:

2007-11-29

Description:

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

Related Actions Items:

No related actions

Related emails:

1. Re: Proposal to close ISSUE-83 and ISSUE-8 (from ian.horrocks@comlab.ox.ac.uk on 2008-01-11)
2. Re: Proposal to close ISSUE-83 and ISSUE-8 (from bparsia@cs.man.ac.uk on 2008-01-11)
3. Re: Proposal to close ISSUE-83 and ISSUE-8 (from hendler@cs.rpi.edu on 2008-01-10)
4. Re: Proposal to close ISSUE-83 and ISSUE-8 (from bparsia@cs.man.ac.uk on 2008-01-10)
5. Re: Proposal to close ISSUE-83 and ISSUE-8 (from hendler@cs.rpi.edu on 2008-01-10)
6. Proposal to close ISSUE-83 and ISSUE-8 (from bparsia@cs.man.ac.uk on 2008-01-10)
7. Re: PROPOSAL to close ISSUE-83 (ACTION-51) (from alanruttenberg@gmail.com on 2008-01-07)
8. Re: PRPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
9. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
10. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from hendler@cs.rpi.edu on 2007-12-13)
11. Re: PRPOSAL to close ISSUE-8 (from clu@tcs.inf.tu-dresden.de on 2007-12-13)
12. Re: PROPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
13. Re: PRPOSAL to close ISSUE-8 (from sattler@cs.man.ac.uk on 2007-12-13)
14. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
15. Re: PRPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
16. Re: PRPOSAL to close ISSUE-8 (from sattler@cs.man.ac.uk on 2007-12-13)
17. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
18. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from alanruttenberg@gmail.com on 2007-12-13)
19. Re: PRPOSAL to close ISSUE-8 (from alanruttenberg@gmail.com on 2007-12-13)
20. RE: PROPOSAL to *close* (not postpone) ISSUE-83 (from VKASHYAP1@PARTNERS.ORG on 2007-12-13)
21. Re: PROPOSAL to *close* (not postpone) ISSUE-83 (from hendler@cs.rpi.edu on 2007-12-13)
22. PROPOSAL to *close* (not postpone) ISSUE-83 (from pfps@research.bell-labs.com on 2007-12-13)
23. PRPOSAL to close ISSUE-8 (from pfps@research.bell-labs.com on 2007-12-13)
24. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-06)
25. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from alanruttenberg@gmail.com on 2007-12-06)
26. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-04)
27. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-04)
28. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-04)
29. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-04)
30. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-12-04)
31. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-12-04)
32. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-04)
33. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from sattler@cs.man.ac.uk on 2007-12-03)
34. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from bparsia@cs.man.ac.uk on 2007-12-03)
35. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from alanruttenberg@gmail.com on 2007-12-03)
36. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from conrad.bock@nist.gov on 2007-12-03)
37. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from bparsia@cs.man.ac.uk on 2007-12-03)
38. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from ian.horrocks@comlab.ox.ac.uk on 2007-12-03)
39. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from bparsia@cs.man.ac.uk on 2007-12-03)
40. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)? (from alanruttenberg@gmail.com on 2007-12-02)
41. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-12-02)
42. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from ian.horrocks@comlab.ox.ac.uk on 2007-12-02)
43. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from hendler@cs.rpi.edu on 2007-11-30)
44. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from sattler@cs.man.ac.uk on 2007-11-30)
45. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-11-30)
46. RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from VKASHYAP1@PARTNERS.ORG on 2007-11-30)
47. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from msmith@clarkparsia.com on 2007-11-30)
48. Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from jjc@hpl.hp.com on 2007-11-30)
49. ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (from sysbot+tracker@w3.org on 2007-11-29)

Related notes:

Display change log