The service adds a reasoning function to the provider's research tool, Attempto Controlled English (ACE). ACE is a "controlled natural language" that structures statements in the English language in a way that attempts to unambiguously represent knowledge. It defines precise text expressions, based on usage in a specific topic domain, to remove inconsistencies and variance due to interpretation. The RACE service exposes these texts to logical analysis to verify the true of reasoning based on them.
API methods support submission of text-based axioms and theorems, along with specifications for analysis to check consistency (whether any statements contract other statements), prove assertions based on submitted conditions, or answer a query stated in the request.
The following is a list of how-to and tutorial content that matched your search term. ProgrammableWeb's how-to content comes from two sources; full-blown tutorials that we publish ourselves and other highly relevant tutorials that we find elsewhere on the Web. This list represents on combination of both tutorial types and if you go to ProgrammableWeb's API University, you'll not only be able to find more, they are organized based on your role (API providers or developers who consumes APIs). If you know of a tutorial that would be of interest to the ProgrammableWeb community, we'd like to know about it. Be sure to check our guidelines for making contributions to ProgrammableWeb.