Quick Search:

uzh logo
Browse by:
bullet
bullet
bullet
bullet

Zurich Open Repository and Archive 

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, 08 December 2003 - 08 December 2003, 174-188.

[img]
Preview
PDF
1176Kb

Abstract

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.

Item Type:Conference or Workshop Item (Paper), refereed, original work
Communities & Collections:03 Faculty of Economics > Department of Informatics
DDC:000 Computer science, knowledge & systems
Language:English
Event End Date:08 December 2003
Deposited On:30 Mar 2010 15:04
Last Modified:09 Jul 2012 06:19
ISBN:978-3-540-20582-1
Publisher DOI:10.1007/b94439
Official URL:http://www.springerlink.com/content/0902rmr4ak20m71x/
Citations:Google Scholar™

Users (please log in): suggest update or correction for this item

Repository Staff Only: item control page