In various example embodiments, a semantic modeling server includes a semantic model and an inductive logic programming module. The semantic module includes underlying data that defines one or more characteristics of a part to be manufactured. The inductive logic programming module is provided with positive and negative examples of a feature to be identified and part data that defines the part to be manufactured. Given the examples of the feature and the semantic model, the inductive logic programming module determines various rules that can be used to identify whether the provided part data includes the feature defined by the semantic model. Using the determined rules the inductive logic programming module then identifies instances of the feature associated with the semantic model within the provided part data. The inductive logic programming can then be iteratively executed with the semantic model to refine the determined rules.
Please help me write a proper abstract based on the patent claims. CLAIM: 1. A system comprising: a machine-readable medium configured to store a semantic model, the semantic model comprising first part data that defines one or more characteristics for a part to be manufactured; an inductive logic programming module, the inductive logic programming module configured to: receive a first plurality of examples of a feature to be identified from the part to be manufactured; receive second part data that defines the part to be manufactured; determine at least one rule that identifies whether the second part data includes the feature to be identified, the at least one rule being determined based on the plurality of examples and the semantic model; and provide an indication of whether the second part data includes the feature to be identified. 2. The system of claim 1, wherein the first plurality of examples includes a first subset of examples that are positive examples of the feature to be identified and a second subset of examples that are negative examples of the feature to be identified. 3. The system of claim 1, wherein the part to be manufactured comprises at least one vertex, at least one edge, and at least one face, and the first part data includes data that defines the least one vertex, the at least one edge, or the at least one face. 4. The system of claim 1, wherein the indication indicates that the second part data includes at least one feature instance of the feature to be identified; and the indication is determined to be a false positive. 5. The system of claim 1, wherein the at least one feature is reclassified as a negative example of the feature to be identified; and the inductive logic programming module is further configured to: modify the determined at least one rule based on the reclassified negative example; and provide an indication that the reclassified at least one feature is a negative example of the feature to be identified based on the modified determined at least one rule. 6. The system of claim 1, further comprising a conversion module configured to: receive the second part data in a first format, the first format corresponding to a format generated by an application to design the part to be manufactured; and convert the second part data to a second format, the second format corresponding to a format consumable by the inductive logic programming module. 7. The system of claim 1, wherein the inductive programming logic module is further configured to modify the semantic model to incorporate the determined at least one rule and the provided indication. 8. A method comprising: establishing, in a machine-readable medium, a semantic model, the semantic model comprising first part data that defines one or more characteristics for a part to be manufactured; receiving, by at least one processor, a first plurality of examples of a feature to be identified from the part to be manufactured; receiving, by at least one processor, second part data that defines the part to be manufactured; determining, by at least one processor, at least one rule that identifies whether the second part data includes the feature to be identified, the at least one rule being determined based on the plurality of examples and the semantic model; and providing, by at least one processor, an indication of whether the second part data includes the feature to be identified. 9. The method of claim 8, wherein the first plurality of examples includes a first subset of examples that are positive examples of the feature to be identified and a second subset of examples that are negative examples of the feature to be identified. 10. The method of claim 8, wherein the part to be manufactured comprises at least one vertex, at least one edge, and at least one face, and the first part data includes data that defines the least one vertex, the at least one edge, or the at least one face. 11. The method of claim 8, wherein the indication indicates that the second part data includes at least one feature instance of the feature to be identified; and the indication is determined to be a false positive. 12. The method of claim 11, wherein the at least one feature instance is reclassified as a negative example of the feature to be identified; and the method further comprises: modifying the determined at least one rule based on the reclassified negative example; and providing an indication that the reclassified at least one feature instance is a negative example of the feature to be identified based on the modified determined at least one rule. 13. The method of claim 8, further comprising: receiving the second part data in a first format, the first format corresponding to a format generated by an application to design the part to be manufactured; and converting the second part data to a second format, the second format corresponding to a format consumable by the inductive logic programming module. 14. The method of claim 8, further comprising: modifying the semantic model to incorporate the determined at least one rule and the provided indication. 15. A machine-readable medium storing machine-executable instructions thereon that, when executed by a machine, cause the machine to perform operations comprising: receiving, by at least one processor, a first plurality of examples of a feature to be identified from a part to be manufactured; receiving, by at least one processor, second part data that defines the part to be manufactured; determining, by at least one processor, at least one rule that identifies whether the second part data includes the feature to be identified, the at least one rule being determined based on the plurality of examples and a semantic model, the semantic model comprising first part data that defines one or more characteristics for the part to be manufactured; and providing, by at least one processor, an indication of whether the second part data includes the feature to be identified. 16. The machine-readable medium of claim 15, wherein the first plurality of examples includes a first subset of examples that are positive examples of the feature to be identified and a second subset of examples that are negative examples of the feature to be identified. 17. The machine-readable medium of claim 15, wherein the part to be manufactured comprises at least one vertex, at least one edge, and at least one face, and the first part data includes data that defines the least one vertex, the at least one edge, or the at least one face. 18. The machine-readable medium of claim 15, wherein: the indication comprises a false positive that indicates that the second part data includes at least one feature instance of the feature to be identified; the at least one feature instance is reclassified as a negative example of the feature to be identified; and the operations further comprise: modifying the determined at least one rule based on the reclassified negative example; and providing an indication that the reclassified at least one feature instance is a negative example of the feature to be identified based on the modified determined at least one rule. 19. The machine-readable medium of claim 15, wherein the operations further comprise: receiving the second part data in a first format, the first format corresponding to a format generated by an application to design the part to be manufactured; and converting the second part data to a second format, the second format corresponding to a format consumable by the inductive logic programming module. 20. The machine-readable medium of claim 15, wherein the operations further comprise: modifying the semantic model to incorporate the determined at least one rule and the provided indication.