Re: Integrity constraints for OWL 2 / OWL 2 DL

Hi Leila,
in the paper:

  *
[http://dblp.uni-trier.de/img/n.png]


Peter F. Patel-Schneider, Enrico Franconi<http://dblp.uni-trier.de/pers/hd/f/Franconi:Enrico>:
Ontology Constraints in Incomplete and Complete Data. International Semantic Web Conference (1) 2012<http://dblp.uni-trier.de/db/conf/semweb/iswc2012-1.html#Patel-SchneiderF12>: 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<mailto: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<mailto: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<mailto: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>