COROR: A COmposable Rule-entailment Owl ... - Defeasible Logic
COROR: A COmposable Rule-entailment Owl ... - Defeasible Logic
COROR: A COmposable Rule-entailment Owl ... - Defeasible Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Conclusion and future work<br />
• Conclusion<br />
• Motivation<br />
• To enable intelligence on the edge of sensor network.<br />
• State of the art mobile OWL reasoners<br />
• <strong>COROR</strong> the composable reaoner<br />
• Two composition algorithms: the selective rule loading algorithm and the two-phase<br />
RETE algorithm.<br />
• Experiments design and results<br />
• Two experiments<br />
• Results<br />
• <strong>COROR</strong> uses much less memory without sacrificing time performance.<br />
• Future work includes<br />
• More heuristics can be applied during the RETE network construction phase, and more<br />
information can be collected.<br />
• Support conjunctive query languages e.g. SPARQL.<br />
• OWL 2 support.<br />
20