Euler Proof MechanismEuler is an inference engine supporting logic based proofs.
It is a backward-chaining reasoner enhanced with Euler path detection.
Via N3 it is interoperable with W3C Cwm.
Cross-Origin Resource SharingThis document defines a mechanism to enable client-side cross-origin requests. Specifications that want to enable cross-origin requests in an API they define can use the algorithms defined by this specification. If such an API is used on http://example.org resources, a resource on http://hello-world.example can opt in using the mechanism described by this specification (e.g., specifying Access-Control-Allow-Origin: http://example.org as response header), which would allow that resource to be fetched cross-origin from http://example.org. W3C