Attempto controlled english for knowledge representation

Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationReasoning Web - 4th International Summer School 2008, Tutorial Lectures
Pages104-124
Number of pages21
Volume5224 LNCS
DOIs
Publication statusPublished - 2008
Externally publishedYes
Event4th International Reasoning Web Summer School 2008 - Venice, Italy
Duration: 7 Sep 200811 Sep 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5224 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference4th International Reasoning Web Summer School 2008
CountryItaly
CityVenice
Period7/09/0811/09/08

Fingerprint

Knowledge representation
Knowledge Representation
First-order Logic
Formal languages
Semantic Web
Ontology
Formal Languages
Parsing
Plug-in
Engines
Natural Language
Engine
Subset
Software
Language

Cite this

Fuchs, N. E., Kaljurand, K., & Kuhn, T. (2008). Attempto controlled english for knowledge representation. In Reasoning Web - 4th International Summer School 2008, Tutorial Lectures (Vol. 5224 LNCS, pp. 104-124). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5224 LNCS). https://doi.org/10.1007/978-3-540-85658-0_3
Fuchs, Norbert E. ; Kaljurand, Kaarel ; Kuhn, Tobias. / Attempto controlled english for knowledge representation. Reasoning Web - 4th International Summer School 2008, Tutorial Lectures. Vol. 5224 LNCS 2008. pp. 104-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{d99f87855b7843228374931b8687c3b7,
title = "Attempto controlled english for knowledge representation",
abstract = "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{\'e}g{\'e} ontology editor, AceWiki, and the OWL verbaliser.",
author = "Fuchs, {Norbert E.} and Kaarel Kaljurand and Tobias Kuhn",
year = "2008",
doi = "10.1007/978-3-540-85658-0_3",
language = "English",
isbn = "3540856560",
volume = "5224 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "104--124",
booktitle = "Reasoning Web - 4th International Summer School 2008, Tutorial Lectures",

}

Fuchs, NE, Kaljurand, K & Kuhn, T 2008, Attempto controlled english for knowledge representation. in Reasoning Web - 4th International Summer School 2008, Tutorial Lectures. vol. 5224 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5224 LNCS, pp. 104-124, 4th International Reasoning Web Summer School 2008, Venice, Italy, 7/09/08. https://doi.org/10.1007/978-3-540-85658-0_3

Attempto controlled english for knowledge representation. / Fuchs, Norbert E.; Kaljurand, Kaarel; Kuhn, Tobias.

Reasoning Web - 4th International Summer School 2008, Tutorial Lectures. Vol. 5224 LNCS 2008. p. 104-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5224 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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

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

ER -

Fuchs NE, Kaljurand K, Kuhn T. Attempto controlled english for knowledge representation. In Reasoning Web - 4th International Summer School 2008, Tutorial Lectures. Vol. 5224 LNCS. 2008. p. 104-124. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-85658-0_3