Techniques for semantic business policy composition

A system comprising:

• one or more processors communicatively coupled to memory, the one or more processors to:
• store data in an ontology so that ontological data corresponding to the data is stored in a matrix;
• cause provision of graphical objects to a user through an interface, the graphical objects representative of semantic objects;
• detect an arrangement of a subset of the graphical objects, the arrangement at least partially defining a policy and logic for an analysis to be performed as part of implementing the policy;
• generate, based at least in part on the arrangement, executable instructions for execution by an application configured to operate according to the instructions to reason transactional data according to the policy, wherein the policy specifies of a set of conditions and the reasoning comprises analyzing the transactional data resulting from future transactions for fulfillment and/or violation of the set of conditions;
• partitioning the ontological data stored in the matrix into partitions;
• distributing the partitions over a plurality of reasoner instances that reason the partitions according to the policy, the distributing the partitions comprising:
• directing a first reasoner instance of the plurality of reasoner instances to operate to produce a first set of inferences, and directing a second reasoner instance of the plurality of reasoner instances to operate to produce a second set of inferences;
• and
• creating a set of results indicative of results of the reasoning, the set of results based at least in part on separate results of the plurality of reasoner instances, the separate results comprising the first set of inferences and the second set of inferences.

One or more non-transitory, machine-readable media having machine-readable instructions thereon which, when executed by one or more processors, cause the one or more processors to perform:

• storing data in an ontology so that ontological data corresponding to the data is stored in a matrix;
• cause provision of graphical objects to a user through an interface, the graphical objects representative of semantic objects;
• detecting an arrangement of a subset of the graphical objects, the arrangement at least partially defining a policy and logic for an analysis to be performed as part of implementing the policy;
• generating, based at least in part on the arrangement, executable instructions for execution by an application configured to operate according to the instructions to reason transactional data according to the policy, wherein the policy specifies of a set of conditions and the reasoning comprises analyzing the transactional data resulting from future transactions for fulfillment and/or violation of the set of conditions;
• partitioning the ontological data stored in the matrix into partitions;
• distributing the partitions over a plurality of reasoner instances that reason the partitions according to the policy, the distributing the partitions comprising:
• directing a first reasoner instance of the plurality of reasoner instances to operate to produce a first set of inferences, and directing a second reasoner instance of the plurality of reasoner instances to operate to produce a second set of inferences;
• and
• creating a set of results indicative of results of the reasoning, the set of results based at least in part on separate results of the plurality of reasoner instances, the separate results comprising the first set of inferences and the second set of inferences.