Service-Oriented Computing: Semantics, Processes, Agents
A truth maintenance system