Published: 2004 Dezember
Type: Knowledge Web Deliverable
Institution: University of Karlsruhe
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.