Knowledge-based coordination with a reliable semantic subscription mechanism