Ontology based semiformal design of teleteaching system | IEEE Conference Publication | IEEE Xplore