Do you support owl:ReflexiveProperty?

[Alex Jouravlev]

On which reasoning levels?

Is there a single place where I can find the list of all properties that are supported?

Alex

[Evren Sirin]

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

[Alex Jouravlev]

Hi Evren,

Thank you for explanation. 

Do I understand correctly that these features are not available via  the console?

Alex Jouravlev
Director, Business Abstraction Pty Ltd
Phone:       +61-(2)-8003-4830
Mobile:     +61-4-0408-3258
Web: http://www.businessabstraction.com
LinkedIn: http://au.linkedin.com/in/alexjouravlev/

To unsubscribe from this group and stop receiving emails from it, send an email to stardog+u...@clarkparsia.com.

[Evren Sirin]

On Wed, Jun 10, 2015 at 10:01 AM, Alex Jouravlev
<al...@businessabstraction.com> wrote:
> Hi Evren,
>
> Thank you for explanation.
>
> Do I understand correctly that these features are not available via the
> console?

Right, the reasoning schema command is only available via CLI.

Best,
Evren