7 Abstract 9 We use the concept of a distributive law of a monad over a copointed endofunctor to define and develop a reformulation and mild generalisation of Turi and Plotkin's notion of an abstract operational 11 rule. We make our abstract definition and give a precise analysis of the relationship between it and Turi and Plotkin's definition. 13 with the notion of a set of GSOS-rules, allowin...

This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge makes difficult the exchanging of information. The paper uses categorical limit and colimit to define operations of breaking and composing ontologies, formalizing usual concepts in ontologies (alignment, merge, integration, ...