60 search results - page 4 / 12 » Controlled Natural Language Can Replace First-Order Logic |
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
: The mathematical nature of description logics has meant that domain experts find them hard to understand. This forms a significant impediment to the creation and adoption of onto...
CNL
2009
14 years 7 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
CNL
2009
14 years 10 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
AUSAI
2008
Springer
14 years 11 months ago
2008
Springer
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
WLP
2000
Springer
15 years 1 months ago
2000
Springer
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-ord...