C.  Shimizu, ?Rendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI?, Wright State University, Dayton, Ohio, 2017.