[sc34wg3] Need definition of "Assertion" in Reference Model

[Ann M Wrightson]

IMO what is called "assertion" in tm-speak is a piece of information held by
the tm.

Such a piece of information is often expressed in a natural language
assertion, but is IMO definitely not the same as a "proposition" in
propositional logic, or a "sentence" in predicate logic (since both these
terms involve applicability of inference rules). (Nor is it the same as an
"assertion" in most programming languages (I wouldn't like to affirm that
for "all" programming languages, as there are some doozies around ;-), but I
don't think that's very relevant.)

If there is a kanji representation available something like
"circumstance-noted" or "item-recorded" then IMO it would be more
appropriate.

Ann W.

-----Original Message-----
From: sc34wg3-admin@isotopicmaps.org
[mailto:sc34wg3-admin@isotopicmaps.org]On Behalf Of Mary Nishikawa
Sent: 01 August 2002 04:10
To: sc34wg3@isotopicmaps.org
Subject: [sc34wg3] Need definition of "Assertion" in Reference Model


Hi,

I guess everyone is busy to leave for the meetings.

I will need to report on the Reference Model and SAM at the next Japan sc34
meeting and we were discussing how to translate "assertion" properly in the
context of the Reference Model. The closest translation I can come up with
is, shu-chou  with the 2 Kanjis  meaning "main" and "stretch."

The translation in one dictionary for "assertion" has this kanji to
represent it.
It is also defined as, "to claim one's point; insistence." Does this
capture the meaning of "assertion" in the Reference model? Thanks.

Best regards,
Mary


_______________________________________________
sc34wg3 mailing list
sc34wg3@isotopicmaps.org
http://www.isotopicmaps.org/mailman/listinfo/sc34wg3