ISSUE-118: Simplifying datatype semantics

Simplifying datatypes

Simplifying datatype semantics

State:

CLOSED

Product:

RDF Semantics

Raised by:

Patrick Hayes

Opened on:

2013-02-14

Description:

The current draft of Semantics has a modification to the definition of D-interpretations which changes the definition of D from being a datatype map (see https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-concepts/index.html#datatype-maps ) to D being simply a set of datatype IRIs. This simplification makes the semantics easier to state, and to understand and work with. It does not materially change any entailments. But if we decide to adopt it, it will need some textual changes to Concepts.

Related Actions Items:

No related actions

Related emails:

1. Re: agenda 3 Jul telecon (from pfpschneider@gmail.com on 2013-07-03)
2. Re: agenda 3 Jul telecon (from sandro@w3.org on 2013-07-03)
3. Re: agenda 3 Jul telecon (from pfpschneider@gmail.com on 2013-07-03)
4. Re: Agenda for 12 June 2013 (from david@3roundstones.com on 2013-06-11)
5. Re: Agenda for 12 June 2013 (from sandro@w3.org on 2013-06-10)
6. Re: issue-118 proposed text (from phayes@ihmc.us on 2013-05-09)
7. Re: issue-118 proposed text (from david@3roundstones.com on 2013-05-08)
8. Re: Concepts Update (from david@3roundstones.com on 2013-05-08)
9. Re: Concepts Update (from david@3roundstones.com on 2013-05-08)
10. Re: Concepts Update (from phayes@ihmc.us on 2013-05-08)
11. Re: issue-118 proposed text (from tom@tombaker.org on 2013-05-04)
12. Re: issue-118 proposed text (from phayes@ihmc.us on 2013-05-03)
13. Re: issue-118 proposed text (from tom@tombaker.org on 2013-05-03)
14. issue-118 proposed text (from phayes@ihmc.us on 2013-05-01)
15. Re: Proposed text for issue-118 (from ivan@w3.org on 2013-05-01)
16. Issue-118 wording for Concepts, revized (from phayes@ihmc.us on 2013-05-01)
17. Re: Proposed text for issue-118 (from phayes@ihmc.us on 2013-05-01)
18. Re: Proposed text for issue-118 (from ivan@w3.org on 2013-05-01)
19. Proposed text for issue-118 (from phayes@ihmc.us on 2013-04-30)
20. Re: Proposal for issue-118 (from guus.schreiber@vu.nl on 2013-04-24)
21. Proposal for issue-118 (from phayes@ihmc.us on 2013-04-23)
22. Re: Agenda for 17 April 2013 (from david@3roundstones.com on 2013-04-15)
23. Re: Agenda for 17 April 2013 (from pfpschneider@gmail.com on 2013-04-15)
24. RDF-ISSUE-118 (Simplifying datatypes): Simplifying datatype semantics [RDF Semantics] (from sysbot+tracker@w3.org on 2013-02-14)

Related notes:

Display change log