2. The method of claim 1 , wherein the determining one or more formulas from the integrated ontology that are relevant to the candidate formula includes determining whether two formulas are directly resolvably relevant.
1. A method, comprising: in response to a query regarding a relationship among keywords, using one or more web search engines to identify highly ranked web pages related to the keywords and highly ranked ontologies related to the keywords; extracting semantics that are related to the keywords from the highly ranked web pages; combining the highly ranked ontologies and the extracted semantics to form an integrated ontology; identifying relationships that are related to the keywords from the integrated ontology, the identifying relationships comprising: from the integrated ontology, adding one or more formulas that each includes at least one of the keywords as candidate formulas to a candidate pool, and performing an iterative process, comprising: recording any candidate formula that includes all of the keywords as one of the relationships and removing the recorded candidate formula from the candidate pool, for each candidate formula in the candidate pool, determining one or more formulas from the integrated ontology that are relevant to the candidate formula, for each relevant formula, determining an implicit formula implied from the relevant formula and a corresponding candidate formula, and repeating the iterative process; and ranking the identified relationships.