Very nice explanation on the Pellet Integrity Constraint Validator. Pellet ICV allows to use OWL to validate RDF data with CWA and weak UNA.