Search Mailing List Archives
[protege-discussion] PAL constraints to OWL conversion?
swt at stanford.edu
Thu Jan 16 16:15:03 PST 2014
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">
> Any ideas, suggestions?
> Thanks a lot,
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-discussion