ISSUE-136

owl:members

Allow the use of owl:members with owl:AllDifferent

State:

CLOSED

Product:

Raised by:

Michael Schneider

Opened on:

2008-07-31

Description:

In OWL 2 we have new n-ary axioms alongside owl:AllDifferent, such as owl:AllDisjoint and owl:AllDisjointProperties. In the RDF mapping, the old AllDifferent construct was applied in combination with the property 'owl:distinctMembers'. For the new constructs, however, there is the new property 'owl:members'.

In order to make things more coherent, I propose to allow 'owl:members' to be also usable together with AllDifferent. 

For backwards compatibility, 'owl:differentMembers' should still be allowed in combination with 'owl:AllDifferent'.

Related Actions Items:

• ACTION-193 on Michael Schneider to m_schnei to look into reverse mapping change for issue 136 - due 2008-08-19, closed

Related emails:

1. Re: ISSUE-136 (owl:members): Implemented resolution for OWL 2 Full (only) (from pfps@research.bell-labs.com on 2008-08-20)
2. ISSUE-136 (owl:members): Implemented resolution for OWL 2 Full (only) (from schneid@fzi.de on 2008-08-20)
3. RE: ACTION-193: Effort needed for implementing a resolution of ISSUE-136 (from schneid@fzi.de on 2008-08-20)
4. Re: ACTION-193: Effort needed for implementing a resolution of ISSUE-136 (from msmith@clarkparsia.com on 2008-08-19)
5. RE: ACTION-193: Effort needed for implementing a resolution of ISSUE-136 (from schneid@fzi.de on 2008-08-19)
6. Re: ACTION-193: Effort needed for implementing a resolution of ISSUE-136 (from ian.horrocks@comlab.ox.ac.uk on 2008-08-18)
7. ACTION-193: Effort needed for implementing a resolution of ISSUE-136 (from schneid@fzi.de on 2008-08-13)
8. ISSUE-136 (owl:members): Allow the use of owl:members with owl:AllDifferent (from sysbot+tracker@w3.org on 2008-07-31)

Related notes:

Display change log