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 libraries from ProgrammableWeb's Library Directory that matched your search term. Although there many different interpretations of the word "library" among software developers, ProgrammableWeb adheres to a specific definition so as to clearly distinguish libraries from SDKs and frameworks in a way that will facilitate clean search results. In ProgrammableWeb's parlance, the term "library" is strictly used to describe a platform-specific software tool that, when installed, results in the provisioning a specific API. Conversely, SDKs are exclusively for consuming APIs and Frameworks are agnostic to specific APIs. If you think a library, SDK, API, or other asset is missing from our directory, be sure to check our guidelines for making contributions to ProgrammableWeb.