The Controlled English to Logic (CELT) system translates a restricted English grammar to expressions in formal logic. The logic statements use terms from a large formal ontology, the Suggested Upper Merged Ontology (SUMO), giving each resulting statement a wealth of deep meaning, similar in kind if not in degree to capturing the meaning a human associates with words in context. © Springer Science+Business Media B.V. 2010.
CITATION STYLE
Pease, A., & Li, J. (2010). Controlled english to logic translation. In Theory and Applications of Ontology: Computer Applications (pp. 245–258). Springer Netherlands. https://doi.org/10.1007/978-90-481-8847-5_11
Mendeley helps you to discover research relevant for your work.