Engineering Knowledge Models implemented in Java