A computer-implemented method for automating manufacturing supply chain planning, comprising: (a) providing a computer processor for processing data; (b) providing at least one input device; (c) providing at least one output device; (d) providing a computer readable storage device; (e) providing a first ontology for defining a product in terms of the method of manufacture of said product or for defining a plurality of products in terms of the method of manufacture of said products; (f) providing a second ontology for defining the capabilities of a plurality of manufacturing facilities; and g) providing a knowledge representation and reasoning system executed on said computer processor.
Please help me write a proper abstract based on the patent claims. CLAIM: 1. A computer-implemented method for automating manufacturing supply chain planning, comprising: a) providing a computer processor for processing data; b) providing at least one input device; c) providing at least one output device; d) providing a computer readable storage device; e) providing a first ontology for defining a product in terms of the method of manufacture of said product or for defining a plurality of products in terms of the method of manufacture of said products; f) providing a second ontology for defining the capabilities of a plurality of manufacturing facilities; g) providing a knowledge representation and reasoning system executed on said computer processor which will: i) access said computer readable storage device for reading said first ontology and said second ontology, ii) receive a request describing the method of manufacture of a product in terms of said first ontology, iii) deduce through a system of logic using request in (ii) and using said second ontology a manufacturing plan detailing how to produce the product described in (ii) using a list of manufacturing facilities; and wherein said knowledge representation and reasoning system will output an analysis of the feasibility of the manufacture of said product, and/or wherein the manufacture of said product is feasible will output a plan detailing how to manufacture said product and/or wherein the manufacture of said product is feasible will output a plan detailing how to manufacture said product using a list of said manufacturing facilities. 2. The computer-implemented method of claim 1, wherein said manufacturing facilities are robotic. 3. The computer-implemented method of claim 1, wherein said second ontology will categorize capabilities of manufacturing facilities using hierarchical classification. 4. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further receive changes to said first ontology and storing said first ontology on said storage medium whereby a human operator can effect editing and modification of said first ontology. 5. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further receive changes to said second ontology and storing said second ontology on said storage medium whereby a human operator can effect editing and modification of said first ontology. 6. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further furnish explanations for its reasoning about said manufacturing plan whereby a human operator can be made to understand said knowledge representation and reasoning system's logic and is therefore able to improve product designs. 7. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further use a neural network in its reasoning about said manufacturing plan whereby logic based reasoning is complemented with reasoning based on machine learning. 8. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further use regression analysis to optimize said manufacturing plan whereby logic based reasoning is complemented with statistical reasoning. 9. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further apply quantitative constraints imposed upon product specifications in its reasoning about said manufacturing plan. 10. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further apply qualitative constraints imposed upon product specifications in its reasoning about said manufacturing plan. 11. The computer-implemented method of claim 1, wherein said knowledge representation and reasoning system will further use the artificial intelligence Knowledge Interchange Format to represent said first ontology and said second ontology. 12. The computer-implemented method of claim 1, further providing a computer-implemented method for visually modeling product designs comprising: a) providing a display; b) receiving input from a human operator using interconnected; graphical symbols representing computer programming language elements to describe products in terms of said first ontology which will: i) validate interconnections of graphical symbols according to geometric properties of graphical symbols in the context of said first ontology whereby the syntactic correctness of interconnected graphical symbols is verified, and ii) validate inputs of graphical symbols representing computer programming language using said knowledge representation and reasoning system in the context of said first ontology whereby the semantics of input of graphical symbols representing computer programming language is verified against said first ontology; c) displaying designs of products in terms of said first ontology using interconnected graphical symbols on said display; d) rendering graphically designs of product in terms of said first ontology on said display whereby a human operator can visualize products being designed, wherein a human operator enjoys the benefit of an artificial intelligence assisted graphical product development environment to aid assisting in product design. 13. The computer-implemented method of claim 12, wherein receiving input from a human operator using interconnected graphical symbols representing computer programming language elements to describe products in terms of said first ontology will further validate inputs of graphical symbols representing computer programming language using incremental compilation techniques whereby the syntactic correctness of interconnected graphical symbols is ensured. 14. The computer-implemented method of claim 12, wherein receiving input from a human operator using interconnected graphical symbols representing computer programming language elements to describe products in terms of said first ontology will further validate parameterized inputs to graphical symbols that represent computer programming language constructs according to geometric properties of these graphical symbols and the geometric properties of their inputs whereby the syntactic correctness of interconnected graphical symbols and their inputs is verified and whereby higher order logic computer language constructs are enabled. 15. The computer-implemented method of claim 1, wherein said first ontology is implemented as a formal naming and/or definition of types and/or properties, and/or interrelationships using one or more relational database management models which utilize a logic object coercion mechanism. 16. The computer-implemented method of claim 1, wherein said second ontology is implemented as a formal naming and/or definition of types and/or properties, and/or interrelationships using one or more relational database management models which utilize a logic object coercion mechanism. 17. The computer-implemented method of claim 1, wherein said first ontology is implemented as a formal naming and/or definition of types and/or properties, and/or interrelationships using one or more object oriented models which utilize a logic object coercion mechanism. 18. The computer-implemented method of claim 1, wherein said second ontology is implemented as a formal naming and/or definition of types and/or properties, and/or interrelationships using one or more object oriented models which utilize a logic object coercion mechanism.