Modeling and Analysis of Equivalences in Behavior Ontology