Managing Mathematical Texts with OWL and Their Graphical Representation | IEEE Conference Publication | IEEE Xplore