Title | Rendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI |
Publication Type | Thesis |
Year of Publication | 2017 |
Authors | Shimizu, C |
Academic Department | Department of Computer Science and Engineering |
Degree | Master of Science |
Number of Pages | 106 |
Date Published | 08/2017 |
University | Wright State University |
City | Dayton, 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. |