I know that knowledge about relationships between things can be represented using ontologies and stored in some sort of file or database system.
Can a network of procedural knowledge also be created in this way? Such that complex algorithms can be defined and stored efficiently, translated into other languages and forms (such as finite state machines or machine language), changed, and form the basis for other AI axioms?
i.e. Procedural Reasoning Systems -- how would a Knowledge Area (KA) be represented as a cognitive primitive in a computer system?