Not logged in.
Quick Search - Contribution
Contribution Details
Type | Conference or Workshop Paper |
Scope | Discipline-based scholarship |
Published in Proceedings | No |
Title | Attempto controlled English for knowledge representation |
Organization Unit | |
Authors |
|
Editors |
|
Presentation Type | lecture |
Item Subtype | Original Work |
Refereed | Yes |
Status | Published in final form |
Language |
|
ISBN | 978-3-540-85656-6 |
Page Range | 104 - 124 |
Event Title | 4th International Summer School 2008 |
Event Type | other |
Event Location | Venice, Italy |
Event Start Date | September 7 - 2008 |
Event End Date | September 11 - 2008 |
Series Name | Lecture Notes in Computer Science |
Number | 5224 |
Place of Publication | Heidelberg, Germany |
Publisher | Springer |
Abstract Text | 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. |
Related URLs | |
Digital Object Identifier | 10.1007/978-3-540-85658-0_3 |
Other Identification Number | merlin-id:350 |
PDF File | Download from ZORA |
Export |
BibTeX
EP3 XML (ZORA) |
Additional Information | 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures |