13. The method of claim 10 wherein the first and second reasoning modules are provided within a plurality of reasoning regions, and wherein the first and second reasoning modules of the different regions are configured to process the abstractions according to different rules defined by a plurality of different domain ontologies which correspond to respective ones of the regions.
14. The method of claim 13 wherein the second reasoning module is configured to process a plurality of the abstractions which were previously processed by the second reasoning modules.