Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] PROTEGE and integrity contraint

Samson Tu swt at
Fri May 2 11:04:01 PDT 2008


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.


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
> Instructions for unsubscribing: 

More information about the protege-discussion mailing list