Formalization of inheritance reasoning in autoepistemic logic