Cyclic subsumption detection in TBox : Wrong results

[Valentino Hudhra]

Hi all, 

I have a simple TBox: 

ex:A rdfs:subClassOf ex:B
ex:B rdfs:subClassOf ex:C

and I want to check for cyclic subsumptions. E.g x rdfs:subClassOf y . y rdfs:subClassOf x. I have  this with the following query using RDFS reasoning :

select *
where {
 ?a rdfs:subClassOf ?b .
        ?b rdfs:subClassOf ?a .
 FILTER (?a != ?b) .
}

I would expect this query not to return anything but it does return

http://ex.com/B http://ex.com/C
http://ex.com/A http://ex.com/B
http://ex.com/A http://ex.com/C

Just want to make sure if this on your known issues or I missing sth else.(?) 

Regards,

Valentino

[Evren Sirin]

This is not a known issue but it is a bug. We created the issue 2317
for this. Thanks for the report.

Best,
Evren

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