Re: Integrity constraints for OWL 2 / OWL 2 DL

Hi,I think that the author of the paper that I mentioned means "validity rules" (may be he means syntactic rules?). 


     Le Dimanche 22 mars 2015 23h15, Franconi Enrico <franconi@inf.unibz.it> a écrit :
   

 Hi Leila,in the paper:   
   -    
   
 Peter F. Patel-Schneider, Enrico Franconi:   
Ontology Constraints in Incomplete and Complete Data. International Semantic Web Conference (1) 2012: 444-459
you can find a thorough analysis of integrity constraints expressed in OWL.Cheers--e.
On 22/mar/2015, at 22:24, Leila Bayoudhi <bayoudhileila@yahoo.fr> wrote:


Hi,thx for you answer. I think that the author of the cited paper means simply syntacticatical rules. Doesn't he? In fact, he calls them " validity rules" in his another  paper. Here are: Is my thought correct? If I am correct, I want to know the corresponding ones in OWL 2 (ARE THEY THE SUBJECT OF THE STRUCTURAL SPECIFICATION) or are there other ones?Thank you in advance for your help.


Le Dimanche 22 mars 2015 21h42, Uli Sattler <Ulrike.Sattler@manchester.ac.uk> a écrit :


Hi Leila, 
there have been various extensions of owl with integrity constraints, but owl itself doesn't have a mechanism for integrity constraints. what do you want them for? Also, there are certain syntax restrictions for owl 2 direct semantics - don't confuse these with integrity constraints! 

Cheers, Uli
On 22 Mar 2015, at 17:17, Leila Bayoudhi <bayoudhileila@yahoo.fr> wrote:


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 




<validity rules integrity rules.PNG>