Applications of Ontologies and Problem-Solving Methods