Reasoning Strategies for Semantic Web Rule Languages
Yosi Scharf
1 August 2008
Decentralized Information Group
MIT
Computer Science and Artificial Intelligence Laboratory
Introduction
Background
Cwm Reasoner
Forward Chained Reasoner
Backward Chained Reasoner
SPARQL compilation
Proof Generation and Checking
AIR Reasoner
RETE AIR Reasoner
TREAT AIR Reasoner
Conclusions
Contributions
