Arda Goknil <ardagok...@gmail.com>

Hi,
I have a transformation code written in Tefkat.

Rule AgentServiceInteraction
FORALL Agent ag1 {
    type: "Semantic Web Agent";
    plays: Role role1 {
           type: "Domain Role";
    };
    applies: Plan pln {
           type: "Semantic Service Executor Plan";
    };
  },

  Agent ag2 {
    type: "Semantic Service Matchmaker Agent";
    plays: Role role2 {
          type: "Registry Role";
    };
    applies: Plan pln;
  }

 },

MAKE JClass agJ1 FROM op1(ag1) {
      name: ag1.type;
      associatedClass: plnJ1;
      associatedClass: plnJ2;
  },
  JClass plnJ1 FROM op2(pln) {
      name: join("_", pln.name, pln.type);
  },
  JClass plnJ2 FROM op2(pln) {
      name: join("_", pln.name, "Semantic Helper Plan");
  },
  JClass agJ2 FROM op2(pln) {
      associatedClass: plnJ1;
      associatedClass: plnJ2;
  };
;

In this rule I want to match one Sementic Web Agent and one Semantic Service
Matchmaker Agent which reference the same Plan instances (Semantic Service
Executor Class). I am not sure the code line (applies: Plan pln) in "Agent
ag1" and the code line (applies: Plan pln) in "Agent ag2" matche the same
Plan instances. Is it possible to match the Plan instances for Semantic
Service Matchmaker Agent which do not reference to Semantic Web Agent?
Regards,

Arda