A semantic layer for knowledge-based game design in edutainment applications | IEEE Conference Publication | IEEE Xplore