[Stardog 2.0.3] Trying to Explain SWRL Reasoning Results (SL)

[pvh...@gmail.com]

Hi,

I'm trying to use the "reasoning explain" to show the Proof for a reasoning result obtained over an SWRL rule. 

But via JAVA API the "ask()" method returns true and  the "explain()" method returns me a empty Proof. 

And by using the CLI reasoning explain command i got the "Input axiom is not a valid inference; no explanation generated. " message.

Well, what i might know is.... Stardog can't explain me the SWRL reasoning results, or maybe i'm doing something wrong? 

Thank you.

[Evren Sirin]

Explanations with rules should normally work. There is a slight
problem with explanations only if you use the Stardog rules syntax [1]
(since variables in those rules cannot be mapped to URIs directly). If
you can send us an example of an explanation not working we can take a
look. You might also check the logs to see if there is any error
message printed.

Best,
Evren

[1] http://docs.stardog.com/owl2/#sd-Stardog-Rules-Syntax

> --
> -- --
> 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