<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>32</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cogan Shimizu</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Rendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI</style></title><secondary-title><style face="normal" font="default" size="100%">Department of Computer Science and Engineering</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year><pub-dates><date><style  face="normal" font="default" size="100%">08/2017</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Wright State University</style></publisher><pub-location><style face="normal" font="default" size="100%">Dayton, Ohio</style></pub-location><volume><style face="normal" font="default" size="100%">Master of Science</style></volume><pages><style face="normal" font="default" size="100%">106</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>