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 historical changes that were made to this asset. Typically, once an API is published on ProgrammableWeb.com, the data we keep about that asset gets updated over the course of its life. For example, the endpoint or home page of the documentation might change. As a means of enforcing the integrity of our data, every time a non-trivial change is made to the data we keep about an asset, we require the entry of some changelog text before that change can be saved. This way, we have a great audit trail of all activity surrounding the asset. For each asset, the changelogs begins with the moment an asset is approved for publication on ProgrammableWeb. If you spot an error in our data and believe that a record needs to be updated in some way, the ProgrammableWeb team would very much like to hear from you at email@example.com
So far, we don't have a record of any changes to this API