Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  report on the application of higher-order automated theorem proving in ontology reasoning. Concretely,  have integrated the Sigma knowledge engineering environment and the Suggested Upper-Level Ontology (SUMO) with the higher-order theorem prover LEO-II. The basis for this integration is a translation from SUMO’s SUO-KIF representations into the new typed higher-order form representation language TPTP THF.  illustrate the benefits of our integration with examples, report on experiments and analyze open challenges.
['Christoph Benzmüller', 'Adam Pease']
I am writing a research paper on a idea Progress in Automating Higher-Order Ontology Reasoning ∗
[{"from": "human", "value": "I am writing a research paper on a idea Progress in Automating Higher-Order Ontology Reasoning \u2217"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  report on the application of higher-order automated theorem proving in ontology reasoning. Concretely,  have integrated the Sigma knowledge engineering environment and the Suggested Upper-Level Ontology (SUMO) with the higher-order theorem prover LEO-II. The basis for this integration is a translation from SUMO\u2019s SUO-KIF representations into the new typed higher-order form representation language TPTP THF.  illustrate the benefits of our integration with examples, report on experiments and analyze open challenges."}]