Hi. I'm starting to study Topic Map driven ontologies and I have some doubts: is it possible to represent mathematical properties (like symmetry or transivity) or taxonomic properties (like disjoint) of a relation (association) using Topic Map? Thanks in advance. Isabel Azevedo