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.
Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny
Link,
No reifier
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
Created: 2010-01-28 22:55:56, Robert Cerny Modified: 2010-01-28 22:55:56, Robert Cerny
Link,
No reifier
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.
Created: 2010-01-29 00:05:09, Robert Cerny Modified: 2010-02-25 15:11:21, Robert Cerny
Link,
No reifier
It turns out that this was a logical error in the schema.ctm of the draft dated 2009-10-29.
Created: 2010-02-25 15:11:21, Robert Cerny Modified: 2010-02-25 15:11:21, Robert Cerny
Link,
No reifier
|
Reporting date2010-01-28+01:00 Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny
Link,
No reifier
Resolving date2010-01-29+01:00 Created: 2010-01-29 00:05:06, Robert Cerny Modified: 2010-01-29 00:05:06, Robert Cerny
Link,
No reifier
Planned for version
Topincs 4.0.0
Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny
Link,
No reifier
Work sessions
Created: 2010-01-28 22:56:15, Robert Cerny Modified: 2010-01-28 22:56:15, Robert Cerny
Link,
No reifier
Created: 2010-01-29 07:24:05, Robert Cerny Modified: 2010-01-29 07:24:05, Robert Cerny
Link,
No reifier
Reported by
Robert Cerny
Created: 2010-01-28 22:53:51, Robert Cerny Modified: 2010-01-28 22:53:51, Robert Cerny
Link,
No reifier
Resolved by
Robert Cerny
Created: 2010-01-29 00:05:06, Robert Cerny Modified: 2010-01-29 00:05:06, Robert Cerny
Link,
No reifier
Resolved in version
Topincs 4.0.0
Created: 2010-01-29 00:05:06, Robert Cerny Modified: 2010-01-29 00:05:06, Robert Cerny
Link,
No reifier
|