Rendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI

TitleRendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI
Publication TypeThesis
Year of Publication2017
AuthorsShimizu, C
Academic DepartmentDepartment of Computer Science and Engineering
DegreeMaster of Science
Number of Pages106
Date Published08/2017
UniversityWright State University
CityDayton, Ohio
Abstract

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.