Not logged in.
Quick Search - Contribution
Contribution Details
Type | Conference or Workshop Paper |
Scope | Discipline-based scholarship |
Published in Proceedings | Yes |
Title | Reasoning in Attempto Controlled English |
Organization Unit | |
Authors |
|
Presentation Type | paper |
Item Subtype | Original Work |
Refereed | Yes |
Status | Published in final form |
Language |
|
ISBN | 978-3-540-20582-1 |
Page Range | 174 - 188 |
Event Title | Principles and Practice of Semantic Web Reasoning, International Workshop PPSWR 2003 |
Event Type | workshop |
Event Location | Mumbai, India |
Event Start Date | December 8 - 2003 |
Event End Date | December 8 - 2003 |
Abstract Text | 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. |
Digital Object Identifier | 10.1007/b94439 |
Other Identification Number | merlin-id:408 |
PDF File | Download from ZORA |
Export |
BibTeX
EP3 XML (ZORA) |