\chapter{Cwm Reasoner}

\section{Introduction}

\section{Overview}

\section{Forward Chained Reasoner}

\subsection{Technique}

\subsection{Builtins}

\section{Backward Chained Reasoner}

\section{SPARQL query engine}

\section{Proof Generation and Checking}

