I imported an ontology with classes and these classes have owl:disjointWith (Ex: Person disjoint with Phone)
And then turned on ICV but nothing happened when importing the wrong data (ex: fullname must have datatype string but it's ok when i entered number: :Person :fullname 123123).
The reason why i have to use disjointWith because the domain-range constraint validation don't work and i read some officials documents about it. It's only work when specifing disjointWith.
Ex: :Person :hasPhone :phone1
:phone1 :phoneNumber :12334
:phoneNumber rdf:domain :Phone
but i can insert :Person :phoneNumber :12334 without any error.
Any advice to make ICV work ?