"p 'causally upstream or within' q iff (1) the end of p is before the end of q and (2) the execution of p exerts some causal influence over the outputs of q; i.e. if p was abolished or the outputs of p were to be modified, this would necessarily affect q." . "Chris Mungall" . "influences (processual)" . . "We would like to make this disjoint with 'preceded by', but this is prohibited in OWL2" . . . "affects" . "causally upstream of or within" . .