1. A computer-implemented method for transforming a natural language expression into a formal logical expression, comprising: identifying using a database of ontology, words in a natural language expression as resources, constants and comparisons, the resources being associated with meta data that specify when to use the words of the resources; using the identified words representing resources, constants and comparisons to build a formal logical expression; and presenting the formal logical expression on a user interface device.