ISSUE-116

axiomatictriples

RESOLVED: Should Axiomatic Triples added to OWL-R Full?

State:
CLOSED
Product:
Raised by:
Ivan Herman
Opened on:
2008-04-09
Description:
The current OWL-R-Full does not include 'axiomatic triples' to be added to the resulting graph. What I mean is to add triples like

(owl:FunctionalProperty,rdfs:subClassOf,rdf:Property)
(rdfs:subPropertyOf,rdfs:domain,rdf:Property)

etc. See for the RDF Semantics for a bunch of those in RDFS, and Horst's paper on pD* for their OWL equivalents. 

See also the thread of discussion starting at:

http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0098.html
Related Actions Items:
No related actions
Related emails:
  1. RE: OWL 2 RL unification proposal: My comments (from boris.motik@comlab.ox.ac.uk on 2008-09-03)
  2. OWL 2 RL unification proposal: My comments (from schneid@fzi.de on 2008-09-03)
  3. RE: ACTION-204 completed (add a note about axiomatic triples to the profiles document, ISSUE-116) (from boris.motik@comlab.ox.ac.uk on 2008-08-29)
  4. RE: ACTION-204 completed (add a note about axiomatic triples to the profiles document, ISSUE-116) (from schneid@fzi.de on 2008-08-29)
  5. Proposal to resolve Issue-130, Issue-131 and Issue-116 (from ian.horrocks@comlab.ox.ac.uk on 2008-08-28)
  6. ACTION-204 completed (add a note about axiomatic triples to the profiles document, ISSUE-116) (from boris.motik@comlab.ox.ac.uk on 2008-08-27)
  7. Re: On the functionalities of the OWL RL profile (from ivan@w3.org on 2008-08-25)
  8. Re: Agenda for Teleconference.2008.08.13 (from alanruttenberg@gmail.com on 2008-08-12)
  9. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from pfps@research.bell-labs.com on 2008-08-12)
  10. Agenda for Teleconference.2008.08.13 (from alanruttenberg@gmail.com on 2008-08-12)
  11. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from alanruttenberg@gmail.com on 2008-08-12)
  12. Re: Agenda for Teleconference.2008.08.13 (from alanruttenberg@gmail.com on 2008-08-12)
  13. Agenda for Teleconference.2008.08.13 (from hector.perez-urbina@comlab.ox.ac.uk on 2008-08-12)
  14. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from pfps@research.bell-labs.com on 2008-08-12)
  15. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from alanruttenberg@gmail.com on 2008-08-12)
  16. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from ivan@w3.org on 2008-08-12)
  17. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from alanruttenberg@gmail.com on 2008-08-12)
  18. RE: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from schneid@fzi.de on 2008-08-12)
  19. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from pfps@research.bell-labs.com on 2008-08-12)
  20. RE: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from schneid@fzi.de on 2008-08-12)
  21. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from ivan@w3.org on 2008-08-12)
  22. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from alanruttenberg@gmail.com on 2008-08-12)
  23. Re: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from ian.horrocks@comlab.ox.ac.uk on 2008-08-12)
  24. ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about? (from schneid@fzi.de on 2008-08-11)
  25. Agenda for Teleconference.2008.08.06 (from ian.horrocks@comlab.ox.ac.uk on 2008-08-05)
  26. Re: A possible way of going forward with OWL-R unification (ISSUE-131) (from ian.horrocks@comlab.ox.ac.uk on 2008-07-19)
  27. Re: A possible way of going forward with OWL-R unification (ISSUE-131) (from ivan@w3.org on 2008-07-19)
  28. RE: A possible way of going forward with OWL-R unification (ISSUE-131) (from schneid@fzi.de on 2008-07-14)
  29. Re: A possible way of going forward with OWL-R unification (ISSUE-131) (from ivan@w3.org on 2008-07-14)
  30. Re: Do we loose anything? (discussion on ISSUE-131) (from bparsia@cs.man.ac.uk on 2008-07-03)
  31. Do we loose anything? (discussion on ISSUE-131) (from ivan@w3.org on 2008-07-03)
  32. Re: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from pfps@research.bell-labs.com on 2008-04-20)
  33. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-04-20)
  34. RE: comment on Profile document: Missing rule in OWL-R? (from schneid@fzi.de on 2008-04-16)
  35. Re: ISSUE-116 (axiomatictriples): Should Axiomatic Triples added to OWL-R Full? (from jjc@hpl.hp.com on 2008-04-09)
  36. ISSUE-116 (axiomatictriples): Should Axiomatic Triples added to OWL-R Full? (from sysbot+tracker@w3.org on 2008-04-09)

Related notes:

2008-04-23 03:34:07: per discussion ian and Alan [Alan Ruttenberg]

2008-09-03 19:37:33: Resolved per http://lists.w3.org/Archives/Public/public-owl-wg/2008Aug/0288.html
See http://www.w3.org/2007/OWL/meeting/2008-09-03#resolution_1
[Ian Horrocks]

Changelog:

2008-04-09 12:34:19: Created issue 'Should Axiomatic Triples added to OWL-R Full?' nickname axiomatictriples owned by Ivan Herman on product , description 'The current OWL-R-Full does not include 'axiomatic triples' to be added to the resulting graph. What I mean is to add triples like (owl:FunctionalProperty,rdfs:subClassOf,rdf:Property) (rdfs:subPropertyOf,rdfs:domain,rdf:Property) etc. See for the RDF Semantics for a bunch of those in RDFS, and Horst's paper on pD* for their OWL equivalents. See also the thread of discussion starting at: http://lists.w3.org/Archives/Public/public-owl-wg/2008Apr/0098.html' non-public [Ivan Herman]

2008-04-23 03:34:07: Issue dissociated from any product

2008-04-23 03:34:07: Status changed to 'open'

2008-09-03 19:37:33: title changed to 'RESOLVED: Should Axiomatic Triples added to OWL-R Full?' [Ian Horrocks]

2008-09-03 19:37:33: Issue dissociated from any product [Ian Horrocks]

2008-09-03 19:37:33: Status changed to 'closed' [Ian Horrocks]

Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, Alan Ruttenberg <alanruttenberg@gmail.com>, Chairs, Ivan Herman <ivan@w3.org>, Sandro Hawke <sandro@w3.org>, Staff Contacts
Tracker, originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.231 2009/11/16 15:00:54 dom Exp $