72 search results - page 2 / 15 » Attempto Controlled English |
OWLED
2007
13 years 10 months ago
2007
We describe a verbalization of the logical content of OWL
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
CNL
2009
13 years 9 months ago
2009
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Existing grammar frameworks do not work out particularly well for controlled natural languages (CNL), especially if they are to be used in predictive editors. I introduce in this p...
KBSE
1999
IEEE
14 years 24 days ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...