9. The method of claim 8 , wherein the executable program includes a set of runtime rules that control the execution of the executable program, the method further comprising: augmenting, by a computer system, the set of general logic rules and the set of specific logic rules with the set of runtime rules to enable the one or more functionalities of the application to be available via the executable program.
8. The method of claim 7 , further comprising: extracting, by a computer system, axiom information from the domain-specific ontology, and generating, by a computer system, a set of specific logic rules based on the axiom information of the domain-specific ontology.