The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Abstract. Typical ontology matching applications, such as ontology integration, focus on the computation of correspondences holding between the nodes of two graph-like structures, ...
Abstract. Model transformations play a key role in the vision of Modelngineering. Nevertheless, mechanisms like abstraction, variation and composition for specifying and applying r...
Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werne...
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
There are three set operators defined in XQuery, namely union, intersect and except. They take node sequences as operands, in which each node is identified by its node-ID and tr...