Nice ideas of having a look at the literature on formal interaction analysis. Another interesting pointer is to look at literature on studies that tried a more empirical approach on deriving an ontology from texts or from the road signs. This last study was referenced by Kuhn in one of his paper. It should be on the internet site of Musil.