Re: PAL constraints to OWL conversion?

Samson Tu <[email protected]> Thu, 16 Jan 2014 16:15:03 -0800
Newsgroups	gmane.comp.misc.ontology.protege.general
Message-ID	<[email protected]>
This is a multi-part message in MIME format.
--===============3256678488136515358==
Content-Type: multipart/alternative;
 boundary="------------010709090004010301050604"

This is a multi-part message in MIME format.
--------------010709090004010301050604
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable

Hi Simone,

I think you are out of luck. There is no way to convert PAL constraints=20
to OWL. Syntactically, PAL used first-order predicate logic, which is=20
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=20
> constraints to OWL. I have an old ontology in a .pins file that=20
> contains several PAL constraints, so in Prot=E9g=E9 3.5 build 663 (the=20
> latest 3.5 build, I think) I tried Export to Format->OWL but the PAL=20
> constraints don't get transformed as I was hoping. Basically for each=20
> constraint I get the following:
>
> <rdf:Description rdf:about=3D"KB_2321_00012">
>     <rdf:type=20
> rdf:datatype=3D"java:edu.stanford.smi.protege.model.DefaultCls">Cls(:PA=
L-CONSTRAINT)</rdf:type>
>  </rdf:Description>
>
> Any ideas, suggestions?
>
> Thanks a lot,
>
> Simone
>
>
> _______________________________________________
> protege-discussion mailing list
> [email protected]
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.htm=
l#01a.03


--------------010709090004010301050604
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix">Hi Simone,<br>
      <br>
      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.<br>
      <br>
      With best regards,<br>
      Samson<br>
      <br>
      <br>
      <br>
      On 1/16/14, 4:50 AM, simone serra wrote:<br>
    </div>
    <blockquote cite="mid:[email protected]"
      type="cite">
      <style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style>
      <div dir="ltr">Hello list,<br>
        <div>
          <div dir="ltr"><br>
            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&eacute;g&eacute;
            3.5 build 663 (the latest 3.5 build, I think) I tried Export
            to Format-&gt;OWL but the PAL constraints don't get
            transformed as I was hoping. Basically for each constraint I
            get the following:<br>
            <br>
            &lt;rdf:Description rdf:about="KB_2321_00012"&gt;<br>
            &nbsp;&nbsp;&nbsp; &lt;rdf:type
rdf:datatype="java:edu.stanford.smi.protege.model.DefaultCls"&gt;Cls(:PAL-CONSTRAINT)&lt;/rdf:type&gt;<br>
            &nbsp;&lt;/rdf:Description&gt;<br>
            <br>
            Any ideas, suggestions? <br>
            <br>
            Thanks a lot,<br>
            <br>
            Simone<br>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
protege-discussion mailing list
<a class="moz-txt-link-abbreviated" href="mailto:[email protected]">[email protected]</a>
<a class="moz-txt-link-freetext" href="https://mailman.stanford.edu/mailman/listinfo/protege-discussion">https://mailman.stanford.edu/mailman/listinfo/protege-discussion</a>

Instructions for unsubscribing: <a class="moz-txt-link-freetext" href="http://protege.stanford.edu/doc/faq.html#01a.03">http://protege.stanford.edu/doc/faq.html#01a.03</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>

--------------010709090004010301050604--

--===============3256678488136515358==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
protege-discussion mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-discussion

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

--===============3256678488136515358==--