to improve the rigor of the processing model and to encode it

&gt;in a number of representations.  That should make the mapping to FOL pretty

&gt;explicit.  The original topic map bias may well owe much to the world of
&gt;publishing but there is now a greater representation from people who would

&gt;like to see more rigor introduced - hence a greater interest in the
&gt;underlying conceptual model and the role of ontology/ontologies.

&gt;That said, my first question, in terms of the use of topic maps, 