Type-Safe Programming with OWL in Semantics4J. - Carsten Hartenfels; Martin Leinberger; Ralf Lämmel; Steffen Staab (ISWC (Posters, Demos & Industry Tracks), 2017)