Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Deliverable996

Aus Aifbportal

Wechseln zu: Navigation, Suche


Methods for Approximate Reasoning


Perry Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache



Published: 2004 Dezember
Type: Knowledge Web Deliverable
Nummer: 2.1.2
Institution: University of Karlsruhe
BibTex-ID: kweb-d212

BibTeX

Kurzfassung
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.

Download: Media:2004_996_Groot_Methods_for_App_1.pdf

Projekt

KnowledgeWeb



Forschungsgebiet
Logikprogrammierung, Semantic Web, Logik