You can check the OWL profiles specification [1] about the constructs
supported in each profile. The reasoning level SL in Stardog is a
superset of the other profiles so you don't really need to change the
reasoning level unless you want to force the reasoner to ignore some
parts of your ontology. If there is an axiom in your ontology that is
not supported you will find a warning in the stardog.log. You can also
use the `reasoning schema` command to export the axioms that are being
used by the reasoner (anything ignored will not appear in the output).
Best,
Evren
[1]
http://www.w3.org/TR/2012/REC-owl2-profiles-20121211/
>
> Alex
>
> --
> -- --
> You received this message because you are subscribed to the C&P "Stardog"
> group.
> To post to this group, send email to
sta...@clarkparsia.com
> To unsubscribe from this group, send email to
>
stardog+u...@clarkparsia.com
> For more options, visit this group at
>
http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en