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

Dear all,

Indeed - we are still working on these slides. We ran out of time, and 
decided to send them over, and update them in the following days.

With regards to the concrete answers:
1. There are mistakes in the slides:
1.1. One mistake is that the occurrence type was forgotten (this is 
already fixed in the next version to be sent out soon).
1.2. The slides of the typing are confusing as there are there some 
confusing arrows (this is also fixed in the next version).

2. With regards to the path expression direct-supertypes and 
direct-subtypes: the intention is that this will be used (as suggested 
by Robert Barta) by the authors - in order to understand how the type 
hierarchy is designed in the topic map.

3. I share with Robert Cerny the definition of direct subtype:

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

With regards to the indirect subtype - I guess (correct me if I am 
wrong) that Robert Cerny was a bit short in his definition - as you 
might have X which is a direct subtype of Y1 which is a direct subtype 
of Y2 which is a direct subtype of Z. And then X is indirect subtype of 
Z as well. So:

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 is 
a direct or indirect subtype of Z.

Kind regards,

Rani




On 01-Mar-2011 02:06, Patrick Durusau wrote:
> Lars,
>
> On 2/28/2011 5:32 PM, Lars Heuer wrote:
>> 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?
>>
> I am assuming that like most slides, they make more sense with explanation.
>
> I have the same concern for instances, which are apparently just
> instances, slide 44 and then there are *direct* instances on slide 45.
>
> I know that Rani is planning on revised slides before Prague.
>
> Perhaps as we all have time, we can spot rough spots for either the
> slide revision or further explanations in Prague?
>
> Yes?
>
> Hope you are at the start of a great day!
>
> Patrick
>
>> Best regards,
>> Lars
>

-- 
Rani Pinchuk
Project Manager
Space Applications Services
Leuvensesteenweg, 325
B-1932 Zaventem
Belgium

Tel.: + 32 2 721 54 84
Fax.: + 32 2 721 54 44

http://www.spaceapplications.com