TY - GEN
T1 - Attempto controlled english for knowledge representation
AU - Fuchs, Norbert E.
AU - Kaljurand, Kaarel
AU - Kuhn, Tobias
PY - 2008
Y1 - 2008
N2 - Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-order logic. ACE may seem to be completely natural, but is actually a formal language, concretely it is a first-order logic language with an English syntax. Thus ACE is human and machine understandable. ACE was originally intended to specify software, but has since been used as a general knowledge representation language in several application domains, most recently for the semantic web. ACE is supported by a number of tools, predominantly by the Attempto Parsing Engine (APE) that translates ACE texts into Discourse Representation Structures (DRS), a variant of first-order logic. Other tools include the Attempto Reasoner RACE, the AceRules system, the ACE View plug-in for the Protégé ontology editor, AceWiki, and the OWL verbaliser.
AB - Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-order logic. ACE may seem to be completely natural, but is actually a formal language, concretely it is a first-order logic language with an English syntax. Thus ACE is human and machine understandable. ACE was originally intended to specify software, but has since been used as a general knowledge representation language in several application domains, most recently for the semantic web. ACE is supported by a number of tools, predominantly by the Attempto Parsing Engine (APE) that translates ACE texts into Discourse Representation Structures (DRS), a variant of first-order logic. Other tools include the Attempto Reasoner RACE, the AceRules system, the ACE View plug-in for the Protégé ontology editor, AceWiki, and the OWL verbaliser.
UR - http://www.scopus.com/inward/record.url?scp=84881254583&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84881254583&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-85658-0_3
DO - 10.1007/978-3-540-85658-0_3
M3 - Conference contribution
AN - SCOPUS:84881254583
SN - 3540856560
SN - 9783540856566
VL - 5224 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 104
EP - 124
BT - Reasoning Web - 4th International Summer School 2008, Tutorial Lectures
T2 - 4th International Reasoning Web Summer School 2008
Y2 - 7 September 2008 through 11 September 2008
ER -