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
