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

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:

Display change log