US8572018B2 - Method, System and Software Arrangement for Reconstructing Formal Descriptive Models of Processes from Functional/Modal Data Using Suitable Ontology