Re: [xtm-wg] Again: How might we tie more formal semantics to TMs?

[Alexander Sigel <sigel@bonn.iz-soz.de>]

[ann]
> > So, bearing in mind that a formal semantics is an engineering
> > artefact with an intended purpose like any other,
> > - what is the intended purpose of a formal semantics for TM, as
> > discussed in Alexander's mail?
> > - ... and what criteria woudl you-all wish to apply to decide whether
> > some proposed semantics was fit for that purpose?

[sam]
> Maybe I'm just not getting it... But why should topic map markup have a
> single formal semantic attached to it (engineering artefact ->
> application) -- if that is indeed the question?

a short clarification:

i do not believe that any formal semantics has to be (re-)invented
for TMs (just use what is there),
or that any single formalism might fit them all (won't),
but rather am aware of several formalisms for different purposes
which might or might not be employed in domains.

my question was not about the (impossible) "correct" conceptualization
of entities, or the (impossible) "correct" respresentation of such
a conceptualization in a formalism, but simply about:

given there is consensus by two parties on which of the arbitrary
formalisms to use, how might it look like (in the exchange syntax)
to attach semantics to e.g. a topic?

so TM markup should not have attached a single formal semantic to it.
noone could decide upon that, as the the intended purposes and usage
contexts are different.

cu
----------------------------------------------
Alexander Sigel, M.A. sigel@bonn.iz-soz.de
Informationszentrum Sozialwissenschaften, R&D
Lennéstr. 30, D-53113 Bonn, Germany
+49 228 2281 170 tel, +49 228 2281 120 fax
Homepage: http://index.bonn.iz-soz.de/~sigel/

-------------------------- eGroups Sponsor -------------------------~-~>
Create your business web site your way now at Bigstep.com.
It's the fast, easy way to get online, to promote your business,
and to sell your products and services. Try Bigstep.com now.
http://click.egroups.com/1/9183/1/_/337252/_/974246583/
---------------------------------------------------------------------_->

To Post a message, send it to:   xtm-wg@eGroups.com

To Unsubscribe, send a blank message to: xtm-wg-unsubscribe@eGroups.com