01156nas a2200133   4500008004100000245007800041210006900119260005100188300000800239490002200247520063100269100001900900856010300919       2017                        eng d00aRendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI0 aRendering OWL in LaTeX for Improved Readability Extensions to th  aDayton, OhiobWright State Universityc08/2017  a1060 vMaster of Science3 a<p>As ontology engineering is inherently a multidisciplinary process, it is necessary to utilize multiple vehicles to present an ontology to a user. In order to examine the content of an ontology, formal logic renderings of the axioms appear to be a very helpful approach for some. This thesis introduces a number of incremental improvements to the OWLAPI's \LaTeX{} rendering framework in order to improve the readability, concision, and correctness of OWL files translated into Description Logic and First Order Logic. In addition, we examine the efficacy of these renderings as vehicles for understanding an ontology.</p>
1 aShimizu, Cogan  uhttps://daselab.cs.ksu.edu/publications/rendering-owl-latex-improved-readability-extensions-owlapi