Attempto RACE API

Attempto RACE
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.
Specs
Reference
Semantics, Text
XML, SOAP
No
fuchs@ifi.uzh.ch
Public
Followers (3)
Developers (0)

Sorry, no developers found for this API.

API Mashups (0)

Sorry, no mashups for this API.

Source Code

Sorry, no source code for this API.

Sorry, no resources found for this API.

Developers (0)
Comments (0)
Login or Register as a New User

You are not currently logged in. In order to post this item please login now or provide the following details to register.

A valid e-mail address. All e-mails from the system will be sent to this address. The e-mail address is not made public and will only be used if you wish to receive a new password or wish to receive certain news or notifications by e-mail.

User HTML

  • Allowed HTML tags: <a> <em> <strong> <cite> <blockquote> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.
  • Web page addresses and e-mail addresses turn into links automatically.

Sorry, no mashups for this API.