13. A system for providing supplemental functionalities for an executable program, the system comprising: a computer system comprising one or more processors programmed with computer program instructions that, when executed, cause the computer system to: cause an executable program associated with an ontology to be run, wherein the ontology comprises information indicating attributes for a set of applications; obtain a domain-specific ontology, wherein the domain-specific ontology is within a domain of interest; obtain an ontology instance of the ontology based on the domain-specific ontology, the ontology instance corresponding to an application of the set of applications that is within the domain of interest extract axiom information from the ontology; generate a set of logic rules using the axiom information; compute entailments on the ontology instance using the set of logic rules, wherein the entailments include asserted and inferred class membership of the ontology instance and verify that no axioms indicated in the axiom information are violated; use the ontology instance to generate application metadata for the executable program, wherein at least part of the application metadata is generated based on the set of logic rules, and wherein the application metadata defines one or more functionalities of the application of the set of applications that is within the domain of interest; and provide the application metadata as input to the executable program, wherein the application metadata, at least in part, causes the one or more functionalities of the application to be made available via the executable program.
13. A system for providing supplemental functionalities for an executable program, the system comprising: a computer system comprising one or more processors programmed with computer program instructions that, when executed, cause the computer system to: cause an executable program associated with an ontology to be run, wherein the ontology comprises information indicating attributes for a set of applications; obtain a domain-specific ontology, wherein the domain-specific ontology is within a domain of interest; obtain an ontology instance of the ontology based on the domain-specific ontology, the ontology instance corresponding to an application of the set of applications that is within the domain of interest extract axiom information from the ontology; generate a set of logic rules using the axiom information; compute entailments on the ontology instance using the set of logic rules, wherein the entailments include asserted and inferred class membership of the ontology instance and verify that no axioms indicated in the axiom information are violated; use the ontology instance to generate application metadata for the executable program, wherein at least part of the application metadata is generated based on the set of logic rules, and wherein the application metadata defines one or more functionalities of the application of the set of applications that is within the domain of interest; and provide the application metadata as input to the executable program, wherein the application metadata, at least in part, causes the one or more functionalities of the application to be made available via the executable program. 15. The system of claim 13 , wherein the application metadata is provided as input to the executable program while the executable program is running to cause the one or more functionalities to be made available via the running executable program without recompiling the executable program.