Pan , J Z , Ren , Y , Jekjantuk , N & Garcia , J 2013 , Reasoning the FMA ontologies with TrOWL . in S Bail , B Glimm , R Gonçalves , E Jiménez-Ruiz , Y Kazakov , N Matentzoglu & B Parsia (eds) , Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013) : co-located with the 26th International Workshop on Description Logics (DL 2013) . CEUR Workshop Proceedings , vol. 1015 , CEUR-WS , pp. 107-113 , 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013) , Ulm , Germany , 22/07/13 .workshop