Constituent Groups of Clifford Semigroups Arising from t-Closure

The t-class semigroup of an integral domain R, denoted S_t(R), is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals with the operation induced by ideal t-multiplication. We recently proved that if R is a Krull-type domain, then S_t(R) is a Clifford semigroup. This paper aims to describe the idempotents of S_t(R) and the structure of their associated groups. We extend and recover well-known results on class semigroups of valuation domains and Prufer domains of finite character.Comment: 13 pages. To appear in Journal of Algebr

Standard CGIF interoperability in Amine

The adoption of standard CGIF by CG tools will enable interoperability between them to be achieved, and in turn lead to the interoperability between CG tools and other tools. The integration of ISO Common Logic’s standard CGIF notation in the Amine platform is presented. It also describes the first steps towards full interoperability between the Amine CG tool (through its Synergy component) and CharGer, a representative CG tool that supports similar interoperability and for process (or ‘active’) knowledge as well as declarative knowledge. N-adic relations are addressed as well as semantic compatibility across the two tools. The work remarks on the successes achieved, highlighting certain issues along the way, and offering a real impetus to achieve interoperability.</p