Work in progress: Extending the application of ontologies in the teaching of geometry: The right triangle in the circle | IEEE Conference Publication | IEEE Xplore