Permanent URL to this publication: http://dx.doi.org/10.5167/uzh-33162
Fuchs, N E; Schwertel, U (2003). Reasoning in Attempto Controlled English. In: Principles and Practice of Semantic Web Reasoning, International Workshop PPSWR 2003, Mumbai, India, 8 December 2003 - 8 December 2003, 174-188.
View at publisher
Attempto Controlled English (ACE) – a subset of English that can be unambiguously translated into first-order logic – is a knowledge representation language. To support automatic reasoning in ACE we have developed the Attempto Reasoner RACE (Reasoning in ACE). RACE proves that one ACE text is the logical consequence of another one, and gives a justification for the proof in ACE. Variations of the basic proof procedure permit query answering and consistency checking. Reasoning in RACE is supported by auxiliary first-order axioms and by evaluable functions. The current implementation of RACE is based on the model generator Satchmo.
32 downloads since deposited on 30 Mar 2010
13 downloads since 12 months
|Item Type:||Conference or Workshop Item (Paper), refereed, original work|
|Communities & Collections:||03 Faculty of Economics > Department of Informatics|
|Dewey Decimal Classification:||000 Computer science, knowledge & systems|
|Event End Date:||8 December 2003|
|Deposited On:||30 Mar 2010 13:04|
|Last Modified:||09 Jul 2012 04:19|
Users (please log in): suggest update or correction for this item
Repository Staff Only: item control page