Rendering OWL in Description Logic Syntax

TitleRendering OWL in Description Logic Syntax
Publication TypeMiscellaneous
Year of Publication2017
AuthorsShimizu, C, Hitzler, P, Horridge, M

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 formal logical content, description logic renderings of the axioms appear to be a very helpful approach for some. This paper introduces a number of changes made to the OWLAPI's LaTeX rendering framework in order to improve the readability, concision, and correctness of translated OWL files, as well as increase the number of renderable OWL files.