1. A production rules engine comprising: a class loader configured to load a production rule ontology into a rules engine, wherein the production rule ontology provides a description and instances of a production rule, wherein the production rule comprises a condition part and an action part, wherein the condition part matches instances of the production rule to be grouped into a working memory, and wherein the action part updates the instances of the production rule in response to the instances of the production rule being grouped into the working memory; a class loader configured to load production rules into the rules engine, wherein the production rule comprises a rule and an action defined in the production rule ontology; a production instance creator configured to create instances of the production rules; a reasoner configured to: execute the production rules, locate an instance of a production rule having an inconsistency between an action to change the production rule ontology and an existing ontology, and execute the production rules after production rule inconsistencies have been fixed; a constraint engine configured to locate a solution to an inconsistent ontology; a fixer configured to update the inconsistent ontology with a located solution; and an ontology manager configured to: embed an Ontological Web Language (OWL) axiom in a single extended RETE axiom node, wherein the OWL axiom is a class expression, and wherein the single extended RETE axiom node is a stateless RETE subnode that has no local memory associated to it; embedding embed the OWL axiom into a RETE production rule engine; and define new language terms based on tight coupling between the RETE production rule engine and the OWL axiom.