ISSUE-81

reification, negative assertions

RESOLVED: reification unwise in negative property assertions

State:

CLOSED

Product:

Raised by:

Jie Bao

Opened on:

2007-11-28

Description:

The mapping rules for NegativeObjectPropertyAssertions and NegativeDataPropertyAssertions both use reification.

It would be possible to map these as membership of the complement of the appropriate hasvalue restriction - avoiding reification. Jeremy sees this as preferable, but might cause round trip issues

Related Actions Items:

No related actions

Related emails:

1. RE: ISSUE-67 use of reification in mapping rules is unwise (axiom annotation) (from schneid@fzi.de on 2008-07-14)
2. RE: Proposal to resolve ISSUE-81 (reification in netagive property assertions) (from boris.motik@comlab.ox.ac.uk on 2008-06-25)
3. RE: Proposal to resolve ISSUE-81 (reification in netagive property assertions) (from schneid@fzi.de on 2008-06-25)
4. Proposal to resolve ISSUE-81 (reification in netagive property assertions) (from boris.motik@comlab.ox.ac.uk on 2008-06-24)
5. RDF Reification for annotations and negative property assertions (from schneid@fzi.de on 2008-05-28)
6. Re: reification/annotations (from pfps@research.bell-labs.com on 2008-05-28)
7. RE: reification/annotations (from schneid@fzi.de on 2008-05-28)
8. Re: reification/annotations (from alanruttenberg@gmail.com on 2008-05-27)
9. RE: ACTION-129 and ACTION-132 (from schneid@fzi.de on 2008-05-07)
10. Re: ACTION-129 and ACTION-132 (from bparsia@cs.man.ac.uk on 2008-05-07)
11. RE: ACTION-129 and ACTION-132 (from schneid@fzi.de on 2008-05-07)
12. Agenda for TC 2008-05-07 (from alanruttenberg@gmail.com on 2008-05-06)
13. OWL WG agenda for Wednesday 2008-04-23 (from alanruttenberg@gmail.com on 2008-04-22)
14. Re: Proposal to resolve ISSUE-81 (from jjc@hpl.hp.com on 2008-03-28)
15. RE: Proposal to resolve ISSUE-81 (from schneid@fzi.de on 2008-03-28)
16. Re: Proposal to resolve ISSUE-81 (from pfps@research.bell-labs.com on 2008-03-28)
17. Re: Proposal to resolve ISSUE-81 (from jjc@hpl.hp.com on 2008-03-28)
18. Re: Proposal to resolve ISSUE-81 (from pfps@research.bell-labs.com on 2008-03-28)
19. Re: Proposal to resolve ISSUE-81 (from jjc@hpl.hp.com on 2008-03-28)
20. RE: Proposal to resolve ISSUE-81 (from schneid@fzi.de on 2008-03-28)
21. Re: Proposal to resolve ISSUE-81 (from alanruttenberg@gmail.com on 2008-03-25)
22. RE: Proposal to resolve ISSUE-81 (from schneid@fzi.de on 2008-03-24)
23. Re: Proposal to resolve ISSUE-81 (from alanruttenberg@gmail.com on 2008-03-23)
24. Re: Proposal to resolve ISSUE-81 (from pfps@research.bell-labs.com on 2008-03-23)
25. Re: Proposal to resolve ISSUE-81 (from alanruttenberg@gmail.com on 2008-03-23)
26. RE: Proposal to resolve ISSUE-81 (from boris.motik@comlab.ox.ac.uk on 2008-03-23)
27. Proposal to resolve ISSUE-81 (from alanruttenberg@gmail.com on 2008-03-23)
28. ISSUE-103 (metamapping): Meta Issue to track other issues related to mapping (from sysbot+tracker@w3.org on 2008-03-17)
29. Re: Specifically on ISSUE-65 (Re: Punning, typed vocabulary, and handling RDF graphs (and ISSUE-65)) (from jjc@hpl.hp.com on 2008-01-10)
30. ISSUE-81 (reification, negative assertions): reification unwise in negative property assertions (from sysbot+tracker@w3.org on 2007-11-28)

Related notes:

Display change log.