[topicmapmail] Re: Logicians do not rule the world (fortunately)

[jsinger at meaningmachines.com]

Murray, Erik, Lars Marius, anybody ...,

>At 1:03 AM +0100 4/27/06, Murray Altheim wrote:
>Absent a context, we're just speaking English, not logic. If we state
>that we're speaking in logical terms, we know a bit more, but we still
>aren't being very precise about matters, but precise enough though for
>this discussion's purposes.

Is there no definition of "symmetry" in the context of Topic Maps 
agreed upon by the Topic Maps community?

Does each Topic Maps query language have a unique treatment of an 
association with indistinguishable roles, i.e. whether

	borders-with(norway : neighbour, sweden : neighbour)

implies

	borders-with(sweden : neighbour, norway : neighbour)?

Janet Singer
meaningmachines.com