Figure REF  shows two types of ontologies, i.e., the spatial ontology \({L}\)  and the activity ontology \({T}_a\) , which is instantiated for each activity \(a\in [1,8]\) .
In the \({L}\)  ontology, we encode both hierarchies of classes shown in Figure REF , while each \({T}_a\)  shares with \({L}\)  only a part of the hierarchy on the right-hand side.
In particular, \({T}_a\)  encodes only the part related to the statements provided by \(\mathcal {I}_a\) , as shown in Table REF  (and detailed further in the next Section).
Remarkably, each ontology \({T}_a\)  also contains other prior knowledge, e.g., an UPDATE concept to classify events for synchronising computational procedures, or a dedicated representation of TIME based on Allen's Algebra [1]}.
