Integrity constraints for OWL 2 / OWL 2 DL

Hi, Please I want to check whether are there corresponding integrity constraints for OWL 2/ OWL 2DL as those those defined in table 4 p 19 in [1] (which define them for RDF/S ? Are they the ones defined in [2]  for OWL 2? Are THEY the ones defined in [3] for OWL 2 DL?What I look for is to some integrity constraints for OWL 2 and/or OWL 2DL such the ones defined in the cited paper?Thanks for your help.
[1] Giorgos Flouris · George Konstantinidis ·Grigoris Antoniou · Vassilis Christophides Formal foundations for RDF/S KB evolution[2]  http://www.w3.org/TR/owl2-syntax/ [3] http://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DL 

Received on Sunday, 22 March 2015 17:15:24 UTC