I created blog http://ontologforum.org/index.php/Blog:Formal_theory,_finite_model_and_DL_reasoner but there is no Comment option so HensonGraves has added his part directly to the post. It's OK but how add a Comment? Template:Wl-comment: