Reasoner for ontolology processing