Verbalization is the process of writing the semantics captured in formal axioms into natural language sentences, so to enable domain experts (who are not trained to understand technical/formal languages) to be able to participate in the modeling and validation processes of their domain knowledge.
During this visit, we have developed a novel approach to support multilingual verbalization of logical theories, formal axiomatizations, and other specifications such as business rules, ontologies, etc. We have developed a flexible and extensible verbalization template for the Object Role Modeling language. This template can be easily customized and translated into other human languages. See the attached report.