Issue description
The type-instance relationship has a special relation to the sub-super relationship. Subtypes are instances of the same type as the their supertypes.
E.g. in the TMCL schema.ctm constraint is a topic type. Abstract constraint is a kind of constraint. It follows that abstract constraint is a topic type, altough their is no explicit statement mentioning this.
Details of this statement
No reifier
Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny Comment
Generally i can think of two ways to implement this:
* Make the conclusion an explicit type-instance statement
* Avoid the explicit statement, but make it look like the statement holds in the application code
Details of this statement
No reifier
Created: 2010-01-28 22:55:56, Robert Cerny Modified: 2010-01-28 22:55:56, Robert Cerny
I chose to avoid to persist the conclusion and generally did tie all loose ends. I did make the type member of TopicProxy respect the rule and creates a method TypeInstance::get_instances which does also respect the rule.
Details of this statement
No reifier
Created: 2010-01-29 00:05:09, Robert Cerny Modified: 2010-02-25 15:11:21, Robert Cerny
It turns out that this was a logical error in the schema.ctm of the draft dated 2009-10-29.
Details of this statement
No reifier
Created: 2010-02-25 15:11:21, Robert Cerny Modified: 2010-02-25 15:11:21, Robert Cerny |
Reporting date
2010-01-28+01:00
Details of this statement
No reifier
Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny Resolving date
2010-01-29+01:00
Details of this statement
No reifier
Created: 2010-01-29 00:05:06, Robert Cerny Modified: 2010-01-29 00:05:06, Robert Cerny Planned for version
Topincs 4.0.0 (Product version)
Details of this statement
No reifier
Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny Realized through
Work session 253 (Work session)
Details of this statement
No reifier
Created: 2010-01-28 22:56:15, Robert Cerny Modified: 2010-01-28 22:56:15, Robert Cerny
Work session 254 (Work session)
Details of this statement
No reifier
Created: 2010-01-29 07:24:05, Robert Cerny Modified: 2010-01-29 07:24:05, Robert Cerny Reported by
Robert Cerny (Person)
Details of this statement
No reifier
Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny Resolved by
Robert Cerny (Person)
Details of this statement
No reifier
Created: 2010-01-29 00:05:06, Robert Cerny Modified: 2010-01-29 00:05:06, Robert Cerny Resolved in version
Topincs 4.0.0 (Product version)
Details of this statement
No reifier
Created: 2010-01-29 00:05:06, Robert Cerny Modified: 2010-01-29 00:05:06, Robert Cerny |