Activity for owl reasoning over big biomedical data