Bug #845
Add tmcl:non-disjoint-subtypes declaration
| Status: | Rejected | Start date: | 2009-06-29 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: | % Done: | 0% |
||
| Category: | - | |||
| Target version: | - |
Description
The following new declaration was proposed:
tmcl:non-disjoint-subtypes( on:Instrumentalist )
It implies that all (direct?) subtypes of on:Instrumentalist mutually allow overlap.
Discussion here (note that archive format is broken):
http://www.isotopicmaps.org/pipermail/sc34wg3/2009-June/004155.html
History
Updated by Graham Moore over 2 years ago
Will look to satisfy the use case without extending the language.
Updated by Lars Marius Garshol over 2 years ago
- Status changed from New to Assigned
Updated by Lars Marius Garshol over 2 years ago
- Status changed from Assigned to Rejected
The Seattle meeting considered this and concluded: "No enthusiasm for the idea. Leave it." So we will not do this. Rationale: "Tooling can remove the need for the new constraint type."
Topic Maps Lab