Problem-solving methods
Provide terms and relationships for talking about relevant problem-solving behavior (a method ontology)
Have a method ontology that defines knowledge roles, which clarify purpose of each element of domain knowledge
Assume that required problem solving can be construed as compositions of well-characterized, generic algorithms