Valentina Gliozzi

Latest

• An efficient reasoner for description logics of typicality and rational closure
• RAT-OWL: Reasoning with rational closure in description logics of typicality