I want to validate instances against the minimum cardinality restrictions of my ontology. To do so, I have to perform Closed World Reasoning.
According to several posts, Protégé supports such reasoning with Pellet reasoner. However, I could not find any tutorial about how to do it.
My question is how to configure Protégé (or Pellet in Protégé) to perform Closed world reasoning?
Thank you in advance!