[topicmapmail] Reification and Type Instance

[Borislav Iordanov]

Hi,

Hmm, ok, I see. This is because it is the statement that is typed, not the
thing referred to by the statement. I was viewing it the other way around.
Not sure whether my intuition is shared by many people, but it'll be good to
clarify this conceptually since I think topic maps are not that natural to
model with.
 
Best,
Boris

> -----Original Message-----
> From: Robert Cerny [mailto:robert at cerny-online.com]
> Sent: Tuesday, September 18, 2007 3:21 AM
> To: Borislav Iordanov
> Cc: 'TopicMapMail'
> Subject: Re: [topicmapmail] Reification and Type Instance
> 
> 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