We are currently trying to make the PelletDB reasonner do infer some entailments in a CWA context.

Here is a test ontology that describes two invidviduals in a class "Polygon".They are asserted to have "only 3" or "only 5" [hasSide] relationships with some instances of Lines.All the instances of lines are asserted owl:AllDifferent.

That way, the world is closed, and the Pellet reasonner plugin in Protege succeed to infer that poly3 is a Triangle (equivalent to a [exactly 3 hasSide on Line] restriction) poly5 is a Pentagon (equivalent to a [exactly 5 hasSide on Line] restriction)

But unfortunately, the integrated reasonner of our 11.2.0.3 DB doesn't seem to infer these facts.Here is the sample turtle ontology, followed by the create_entailment we execute.