Formal representation of events in a surveillance domain ontology | IEEE Conference Publication | IEEE Xplore