TOP RESULTS

Your search: Finite Model Reasoning in Description Logics 2006. 1. 11.¢  logics we define extend the well known logics