[protege-discussion] PAL constraints to OWL conversion?

[Samson Tu]

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,
Samson



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 lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20140116/8ca943fb/attachment.html>