Existential Reasoning + Symmetric and transitive object properties.

[Roman Shvetsov]

Hi!

A couple of questions

1) I tried to go through tutorial and until the bonus part everything went well. at the bonus part i tried to do existential reasoning example but didn't find the checkbox in provided protege. is it supported?

2) are symmetric and transitive object properties supported in ontop and ontop stream?

Regards,

Roman