"Authoring knowledge in formal logic is too complex ..., while ... unconstrained natural language is generally too difficult for computers .... However, ... authoring knowledge in a restricted subset of natural language ... hits a 'sweet spot' ..., being both usable by humans and understandable by machines." (Clark et al., 2005). |