[topicmapmail] Reification and Type Instance

[Robert Cerny]

Hello Boris,

Any occurrence, association, name and variant is a statement [1]. Only 
variants are not typed.

Lars Marius already answered my question on the topicmaps chat [2]. He 
said that the question is still open, but he also thinks that "yes (the 
reifying topic *is* an instance of the type of the statement)" is a 
reasonable answer.

Kind regards,
Robert

[1] http://www.petesbox.net/pipermail/topicmapmail/2007q2/006954.html
[2] 
http://wega.tm.informatik.uni-frankfurt.de/ueberall/misc/logs/archive/%23topicmaps20070917.html

Borislav Iordanov wrote:
> Hi,
>
> I'm curious what is meant by a "statement" in the context of topic maps? But
> intuitively I'd guess that the answer is generally no because that would be
> a "categorical mistake", unless the statement refers to itself of course ;)
>
> Best
> Boris
>
>   
>> -----Original Message-----
>> From: topicmapmail-bounces at infoloom.com [mailto:topicmapmail-
>> bounces at infoloom.com] On Behalf Of Robert Cerny
>> Sent: Monday, September 17, 2007 5:03 AM
>> To: TopicMapMail
>> Subject: [topicmapmail] Reification and Type Instance
>>
>> Hello,
>>
>> I have a question regarding the TMDM: If i reify a typed statement, is
>> the resulting topic an instance of the type of the statement?
>>
>> Thanks in advance,
>> Robert
>>
>> --
>> Robert Cerny
>> Software Development
>>
>> Web:      http://www.cerny-online.com
>> Email:    robert at cerny-online.com
>> Phone:    +49 (0) 160 960 55 113
>> Address:  An der Embsmühle 25, 65817 Eppstein, Germany
>>
>> _______________________________________________
>> topicmapmail mailing list
>> topicmapmail at infoloom.com
>> http://www.infoloom.com/mailman/listinfo/topicmapmail
>>     
>
>
>   


-- 
Robert Cerny
Software Development

Web:      http://www.cerny-online.com
Email:    robert at cerny-online.com
Phone:    +49 (0) 160 960 55 113
Address:  In der Klauer 27, 55128 Mainz, Germany