D2.1.2 Methods for Approximate Reasoning
P. Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Z. Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache · 2004
This deliverable shows examples about approximating symbolic inference engines in a Semantic Web environment. Approaches of language weakening, knowledge compilation, and approximated deduction are presented. The last one is evaluated in practical applications with mixed results.