[protege-discussion] PROTEGE and integrity contraint

[Samson Tu]

Hi,

The PAL constraints get exported to OWL together with the rest of the 
ontology when you convert a Frame project into OWL. Because of Protege 
OWL 3.x is built on top of the core frame data structures, I think the 
constraints still work.

However, the notion of constraint in OWL is problematic because of the 
open-world assumption. Also because the the translation does not create 
restrictions, class-specific facet constraints are lost, so PAL 
constraint checking in Protege OWL may not give you the same answer.

Note that Protege frame facets are also integrity constraints.

Samson

Yann BENSUSSAN wrote:
> Hi,
> 
> First of all thank you Tania for your answer.
> 
> In order to understand definitely how to define integrity constraint, 
> could you help me for the following items:
> 
> -PAL plug in permits to define integrity constraints,  when  modelling  
> ontology  with Protege. But is it possible to export these constraints 
> to OWL? in other words, when defining integrity constraint with PAL, and 
> then doing export of ontology to OWL language, Is it possible to Protege 
> to translate constraints from logical constraint with PAL to OWL?
> 
> -PAL permits to running queries, does it permit to create queries like SQL?
> 
> 
> Thanks in advance.
> 
> Kind regards.
> 
> Yann
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03