Semantic of Situoids

What we have not done is given a semantic for situoids, except, of course, for the usual set theoretic semantic that follows from the axioms. But as this axiom system is far from being complete, it would be useful to construct models for situoids that incorporate all the discussed features and represent the other categories of the GOL ontology without the loss of their ontological features. Conceptual graphs sowakr,cgweb have been used to model situations ghosh in situation theory. We believe, that a graphical representation can be used to model the world dipert and its parts, and therefore also situoids. A graph-representation of a situoid $s$ has to be able to model the chronoid as well as all the relevant sub-chronoids and the topoid and its relevant sub-topoids of $s$. Concurrent, parallel and independent processes in a situoid have to be modelled as well as situations and the entities present in the situoid.

It should be possible to deduce certain properties of a situoid by graph-theoretical means. Also, if there are processes, states of affairs with a temporal extension, and their precise location inside the situoid is unknown (so the duration of the process is known, but not its temporal location), it may be possible to deduce its temporal location inside the situoid by the relation of these processes to other entities present in the situoid. Several possibilities will exist, and again by graph-theoretical means it may be possible to determine the set of possibilities.

However, conceptual graphs will probably be too weak to model all the richness of the categories in GOL, and therefore also the richness of a single situoid, so new means of modelling situoids by graphs will have to be investigated.