Abstract: A system, method and computer program product for solving a problem based on ontology methods for data/knowledge presentation and processing, may be implemented in a linguistic processing module. The basic components of the linguistic processing module may be a linguistic knowledge base (KB), an ontology KB, and/or an expert KB. The problem solved may include a user or an inventor problem. The method may include storing a user query which may include a structured, or a non-structured description, parsing a non-structured query to create a structured query including a formal semantic representation of the query, semantically expanding the formal semantic representation, searching the expert KB using the formal semantic representations to local solutions for the problem, and semantically sorting the solutions to produce a list of solutions of the problem.

Abstract: A method and systems that allows building cause effect tree related to initial problem statement. Each event of cause effect tree can be added with additional axes: hierarchy and operation. Wizards and templates provide simplify adding of undesirable effects. System automatically generates alternative problem statements and queries for search in knowledge bases.