I do not get the expected triples

[jafa...@gmail.com]

Hi

I have a question regarding reasoning in Stardog. I appreciate it if you could help me with it. 

I have a simple ontology as follows:

[a owl:Restriction;

owl:onProperty :booleanProp;

owl:hasValue "true"^^xsd:boolean].

rdfs:subClassOf

[

    a owl:Restriction;

    owl:onProperty :numericProp;

    owl:hasValue "1"^^xsd:integer

].

:x :booleanProp "true"^^xsd:boolean.

The reasoning type is set as ReasoningType.SL. I expect to see the triple :x :numericProp "1"^^xsd:int. in the results but it is not there. However, when I write a SWRL rule that accomplishes the same task, the expected triple appears in the results. 

Am I missing something here? Is stardog not supposed to generate the expected triple given the above-mentioned OWL axiom?

Regards,

Borna

[Héctor Pérez-Urbina]

Dear Borna,

Thank you for your email. This is indeed a bug in our axiom normalizer. I'll include the fix in the next release.

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

--
Best,
Héctor

[jafa...@gmail.com]

Hi Hector,

Thanks for your e-mail. When are you expecting the release to come out?

Cheers,

Borna 

[Mike Grove]

On Tue, Nov 19, 2013 at 7:50 PM, <jafa...@gmail.com> wrote:

Hi Hector,

Thanks for your e-mail. When are you expecting the release to come out?

We're hard at work on the next release, but do not yet have a planned release date for it.

Cheers,

Mike