Re: TMQL: Direct (super|sub)types?

Hi Lars,

Am 28.02.2011 um 23:32 schrieb Lars Heuer:

> Hi all,
> 
> Today, my attention was drawn to
> <http://www.itscj.ipsj.or.jp/sc34/open/1586.pdf>.
> 
> Even if I try to restrain me: What are *direct* supertypes/subtypes?
> Doesn't it withdraw everything we (should) know about TMDM,
> type/instance relationships and about super-/subtypes relationships in
> general?

No, i would not say so. I have the same distinction in my code and i am using independently of the author of these slides the same words 'direct' and 'indirect'. I am happy to see that convergence and i am curious, if we mean the same thing. Here is my definition:

Topic type A is a direct subtype of topic type B, if and only if 'A ako B' is true.

Topic type X is an indirect subtype of topic type Z, if and only if 'X ako Z' is false, but there exists a topic type Y, and 'X ako Y' and 'Y ako Z' are true.

Robert