Reasoning

Morning all,
in the far future I planned to implement a description logic reasoner. 
May you give me some hints or pointers about the pratical (I yet know 
the algorithm) for implementing such a reasoner?

Thank you in advance,
Cristiano Longo

Received on Monday, 18 July 2011 07:28:28 UTC