UZH-Logo

Maintenance Infos

Reasoning in Attempto Controlled English


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.

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.

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.

Citations

Dimensions.ai Metrics
7 citations in Web of Science®
14 citations in Scopus®
60 citations in Microsoft Academic
Google Scholar™

Altmetrics

Downloads

75 downloads since deposited on 30 Mar 2010
19 downloads since 12 months
Detailed statistics

Additional indexing

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
Scopus Subject Areas:Physical Sciences > Theoretical Computer Science
Physical Sciences > General Computer Science
Language:English
Event End Date:8 December 2003
Deposited On:30 Mar 2010 13:04
Last Modified:29 Jul 2020 22:15
ISBN:978-3-540-20582-1
OA Status:Hybrid
Publisher DOI:https://doi.org/10.1007/b94439

Download

Hybrid Open Access

Download PDF 'Reasoning in Attempto Controlled English'.
Preview
Filetype: PDF
Size: 1MB
View at publisher
Download