{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["alc"],"properties":{"alc":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["concept"],"properties":{"concept":{"$ref":"#/properties/artifact/%24defs/json"}}},"claim":{"$ref":"#/properties/artifact/%24defs/json"}}}},"$defs":{"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":6000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},{"type":"object","maxProperties":128,"additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"}}]}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/owl2-alc-boolean-role-quantified-concept-satisfiability-witness"}