Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology

A system for at least one of generating or utilizing a model associated with a data set using predetermined semantics, comprising:

• a computer hardware arrangement configured to;
• (a) organize the data set into a plurality of states and a plurality of state transitions, wherein at least one transition of the plurality of state transitions is associated with each of the states;
• (b) associate each of the states with at least one label relating to the predetermined semantics;
• (c) assign at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state;
• (d) determine at least one invariant associated with the model as a function of the at least one probability;
• and
• re-organize the data set into a plurality of further states and a plurality of further state transitions based at least in part on the at least one probability assigned to the at least one state, wherein at least one further transition of the plurality of further state transitions is associated with each of the further states.

A non-transitory computer-accessible medium having stored thereon computer-executable instructions for at least one of generating or utilizing a model associated with a data set using predetermined semantics, wherein, when a computer hardware arrangement executes the instructions, the computer arrangement is configured to perform procedures comprising:

• organizing the data set into a plurality of states and a plurality of state transitions, wherein at least one transition of the plurality of state transitions is associated with each of the states;
• associating each of the states with at least one label relating to the predetermined semantics;
• assigning at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state;
• determining at least one invariant associated with the model as a function of the at least one probability;
• and
• re-organizing the data set into a plurality of further states and a plurality of further state transitions based at least in part on the at least one probability assigned to the at least one state, wherein at least one further transition of the plurality of further state transitions is associated with each of the further states.