relationship inference

[KunalSaini]

Hi, I wanted to understand if the feature of inference exist or is on your roadmap. example if ex:a bf:parent ex:b

and bf:parent a owl:ObjectProperty ; owl:inverseOf :child ; a owl:AsymmetricProperty , owl:IrreflexiveProperty .

then the following query should return result select * where { ?x bf:child ?y }