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.
Pan, J. Z.,
& Wache, H.
(2005). Methods for Approximate Reasoning. .