Change Paths in Reasoning!

Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adherence to the completeness properties of reasoning procedures. Despite the large amount of work and results that have been achieved, various benchmarks reinstate that the progress does not suce for needs in the scale of many enterprise applications and the Web. We believe that a fundamental change in research on reasoning is required, giving up basic assumptions such as completeness to gain performance required in many real-world applications. These new paths should start with a deriving a clear understanding of what types of questions should be solved, where reasoning can help, where properties like soundness and completeness are really required and what impact of departing from those properties is acceptable. The standard ontology languages that have been standardized by W3C recently have varying but high co...

• Type: Conference
• Year: 2007
• Where: SEMWEB
• Authors: Raphael Volz
• Keywords: Completeness Properties, Reasoning, Reasoning Completeness, SEMWEB 2007