[Problem][Stardog 2.0.3] Problem of rdf:type

[Florian Orpeliere]

Hi,

We found a problem with the necessary conditions. Indeed, we have defined a concept with some necessary conditions like this :

. 

In Stardog, when using the following query (to get type of entity), we have a result at least curious :

 (or seo:Door1 rdf:type ?x)

Result : 

We should have seo:Object, owl:Thing and seo:Door but not seo:Method. 

And, if we specify the same entity (Door)  without the necessary condition, the entity Method doesn't appear with this query.

Thanks in advance for your help.

Sinceraly,

Florian Orpelière.

Checksem Team.

 

[Héctor Pérez-Urbina]

Are the axioms shown in the picture the only axioms in your ontology? Do you have any rules?

It'd be way easier if you could share your ontology.

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

[Florian Orpeliere]

Hi Héctor,

They are not other axioms and they is no rule.

We link you our ontology.

Sinceraly,

Florian

[Héctor Pérez-Urbina]

Thank you. I found and fixed the bug. The fix will be included in the next release.