Abstract: Knowledge representation is a multidisciplinary subject that needs to apply theories and techniques from logic, ontology and computation. There are a great number of languages able to ...