ISSUE-63

full semantics

RESOLVED: Defining an RDFS compatible semantics

State:

CLOSED

Product:

Raised by:

Jeremy Carroll

Opened on:

2007-11-20

Description:

The member submission docs do not include a start on an OWL Full semantics.
Without this we cannot address the charter requirement:

[[
All new features should have a clear syntax, and a clear semantics both in terms of OWL DL and OWL Full. The existing compatibility between OWL DL and OWL Full should be preserved, and should be extended to new features wherever possible.
]]

Related Actions Items:

• ACTION-80 on James Hendler to Describe an approach to a "operational semantics" approach to OWL Full - due 2008-02-13, closed

Related emails:

1. implementation of several resolutions in OWL 2 Full Wiki (from schneid@fzi.de on 2008-04-25)
2. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-04-22)
3. Re: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from jjc@hpl.hp.com on 2008-04-21)
4. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-04-21)
5. Re: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from pfps@research.bell-labs.com on 2008-04-20)
6. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-04-20)
7. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-04-20)
8. Re: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from pfps@research.bell-labs.com on 2008-03-31)
9. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-03-31)
10. Re: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from pfps@research.bell-labs.com on 2008-03-25)
11. RE: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-03-25)
12. Re: ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from pfps@research.bell-labs.com on 2008-03-25)
13. ACTION-93 / ISSUE-63: Initiated work on OWL-1.1-Full semantics (from schneid@fzi.de on 2008-03-25)
14. Annotation test cases (from jjc@hpl.hp.com on 2007-11-28)
15. Re: ISSUE-67 (reification): REPORTED: use of reification in mapping rules is unwise (from ian.horrocks@comlab.ox.ac.uk on 2007-11-26)
16. RE: ISSUE-67 (reification): REPORTED: use of reification in mapping rules is unwise (from gstoil@image.ece.ntua.gr on 2007-11-22)
17. Re: ISSUE-67 (reification): REPORTED: use of reification in mapping rules is unwise (from jjc@hpl.hp.com on 2007-11-22)
18. ISSUE-63 (full semantics): REPORTED: Defining an RDFS compatible semantics (from sysbot+tracker@w3.org on 2007-11-20)

Related notes:

Display change log.