1. A method, within a computing system comprising at least one computer processor and at least one computer readable memory, of generating a logical model of objects from elements representing rule specifications, the method comprising: receiving packages of elements representing rule specifications expressed with linguistic concepts, the packages comprising at least one of: terms, names, sentence forms, mathematical function forms, nominal restrictive forms, identity criteria, and expressions; and processing the packages to generate a logical model of objects representing the semantics of each rule in terms of formal logic, wherein processing the packages comprises: processing the terms included in the packages to associate each of the terms with a type; processing the names included in the packages to map each of the names to a type, each of the names corresponding to a term of the processed terms; processing the sentence forms included in the packages to associate each of the sentence forms with a fact type; processing the mathematical function forms included in the packages to map each of the mathematical function forms to a fact type; processing the nominal restrictive forms included in the packages to map each of the nominal restrictive forms to a fact type; processing the identity criteria included in the packages to map each of the identity criteria to a type; deriving type specializations and generalizations for at least one of the types; deriving fact type specializations and generalizations for at least one of the fact types; and processing the expressions included in the packages to generate logical formulations, the expressions including at least one of a name, a term, a function form having at least a placeholder, and an identity criterion.
1. A method, within a computing system comprising at least one computer processor and at least one computer readable memory, of generating a logical model of objects from elements representing rule specifications, the method comprising: receiving packages of elements representing rule specifications expressed with linguistic concepts, the packages comprising at least one of: terms, names, sentence forms, mathematical function forms, nominal restrictive forms, identity criteria, and expressions; and processing the packages to generate a logical model of objects representing the semantics of each rule in terms of formal logic, wherein processing the packages comprises: processing the terms included in the packages to associate each of the terms with a type; processing the names included in the packages to map each of the names to a type, each of the names corresponding to a term of the processed terms; processing the sentence forms included in the packages to associate each of the sentence forms with a fact type; processing the mathematical function forms included in the packages to map each of the mathematical function forms to a fact type; processing the nominal restrictive forms included in the packages to map each of the nominal restrictive forms to a fact type; processing the identity criteria included in the packages to map each of the identity criteria to a type; deriving type specializations and generalizations for at least one of the types; deriving fact type specializations and generalizations for at least one of the fact types; and processing the expressions included in the packages to generate logical formulations, the expressions including at least one of a name, a term, a function form having at least a placeholder, and an identity criterion. 8. The method of claim 1 wherein processing the nominal restrictive forms included in the packages comprises: if the first nominal restrictive form is not mapped to a nominal restrictive function: gathering the first nominal restrictive function form and synonyms including explicit synonyms of the first nominal restrictive function form from each of the packages as nominal restrictive function forms in a working set; computing identity of the first nominal restrictive function form; if the identity maps to a nominal restrictive function, obtaining the nominal restrictive function to which the identity maps; else creating a nominal restrictive function; mapping each of the nominal restrictive function forms in the working set as a representer of the nominal restrictive function; and processing placeholders of each of the nominal restrictive function forms in the working set; and obtaining function forms to which the nominal restrictive function maps; if one of the function forms is a sentence form representing a fact type: creating an association indicating that the nominal restrictive function is defined by the fact type represented by the sentence form.