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] PAL constraints to OWL conversion?

Samson Tu swt at
Thu Jan 16 16:15:03 PST 2014

Hi Simone,

I think you are out of luck. There is no way to convert PAL constraints 
to OWL. Syntactically, PAL used first-order predicate logic, which is 
more general than OWL's description logic.

With best regards,

On 1/16/14, 4:50 AM, simone serra wrote:
> Hello list,
> I'm wondering if there exists an automated way of converting PAL 
> constraints to OWL. I have an old ontology in a .pins file that 
> contains several PAL constraints, so in Protégé 3.5 build 663 (the 
> latest 3.5 build, I think) I tried Export to Format->OWL but the PAL 
> constraints don't get transformed as I was hoping. Basically for each 
> constraint I get the following:
> <rdf:Description rdf:about="KB_2321_00012">
>     <rdf:type 
> rdf:datatype="java:edu.stanford.smi.protege.model.DefaultCls">Cls(:PAL-CONSTRAINT)</rdf:type>
>  </rdf:Description>
> Any ideas, suggestions?
> Thanks a lot,
> Simone
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-discussion mailing list