[seek-kr-sms] owl-sparrow parser?

[Shawn Bowers]

I think all of this is handled. The <a,b> : R thing is what I was saying
is just a triple in RDF parlance ... so, basically any syntax is fine for
that. We used: rdf (a, R, b)

shawn


On Sat, 13 Nov 2004, Bertram Ludaescher wrote:

>
> >>>>> "SK" == Serguei Krivov <Serguei.Krivov at uvm.edu> writes:
> SK>
> SK> Quick question: What about Abox expressions which are essential for owl?
> SK> a:C  OK- "a type C"
> SK>
> SK> <a,b> :R   ????
>
> e.g. (a,b) : R could be used
>
> SK> <a, d>: DataProp  ????
> SK>
>
> same here: (a,d) : DataProp.
>
> Or do we need to distinguish between 'R' and 'DataProp' here?
>
> SK> I am talking about all possible things inside the individual axiom
> SK> (fact)
> SK> Individual(o type(C1) ...type(Cn)
> SK>      value(R1 o1)...value(Rn on)
> SK>      value(U1 v1)...value( Un vn))
> SK>
> SK> Also- how to distinguish
> SK> restriction(R allValuesFrom(C))
> SK> restriction(R hasValue(o))
> SK> ???
>
> declare allValuesFrom and hasValue as a new binary operator,
> restriction as a unary operator. Then:
>
> restriction R allValuesFrom C.
>
> is valid syntax
>
> SK>
> SK> sorry if I just missed them in the list. I shall sent more detail
> SK> comments after more detail analysis.
>
> same here. Haven't looked yet...
>
> B
>
> SK>
> SK> serguei
> SK>
> SK>
> SK>
> SK> ------------------------------------------------------------------------
> SK> --------------
> SK> Serguei Krivov, Assist. Research Professor,
> SK> Computer Science Dept. & Gund Inst. for Ecological Economics,
> SK> University of Vermont; 590 Main St. Burlington VT 05405
> SK> phone: (802)-656-2978
> SK>
> SK>
> SK> -----Original Message-----
> SK> From: seek-kr-sms-admin at ecoinformatics.org
> SK> [mailto:seek-kr-sms-admin at ecoinformatics.org] On Behalf Of Shawn Bowers
> SK> Sent: Friday, November 12, 2004 7:57 PM
> SK> To: Bertram Ludaescher
> SK> Cc: Serguei Krivov; seek-kr-sms at ecoinformatics.org
> SK> Subject: Re: [seek-kr-sms] owl-sparrow parser?
> SK>
> SK>
> SK> Hi,
> SK>
> SK> Here is basically a stylized copy of some comments I made in the prolog
> SK> "code" that describes the sparrow-dl operators. This is just for the OWL
> SK>
> SK> part ... and does not contain the "RDF" part, which is basically just
> SK> defining triples of the form (subj, pred, obj), which can have a number
> SK> of sytnaxes.
> SK>
> SK> Comments greatly appreciated!
> SK>
> SK> shawn
> SK>
> SK>
> SK>
> SK> Bertram Ludaescher wrote:
> >>
> >> Hi Serguei:
> >>
> >> The first Sparrow version were just 5 lines (Prolog operator
> >> declarations) for AND, OR, NOT, SOME, and ONLY, respectively.
> >> That's really all you need ;-)
> >>
> >> More seriously, Shawn extended this to a fairly complete list of OWL
> >> expressions to be parsable by any Prolog system, given the
> >> corresponding operator declarations. (RDF syntax is also trivially
> >> handled with the same approach.)
> >>
> >> During the recent SEEK mtg we briefly discussed OWL/Sparrow
> >> translations again, and Shawn was planning to provide translators in
> >> both directions. Those would be most likely implemented in Java and
> >> not Prolog. The nice thing about Sparrow syntax: human readable and
> >> machine readable. The latter w/o parser in Prolog (by design) and w/ a
> SK>
> >> very simple operator precedence parser (or sth more
> >> sophisticated/overkill) in Java.
> >>
> >> Shawn: How about "publishing" a draft of the Sparrow versions of OWL
> >> and RDF (there is probably already some version in the SEEK cvs .. we
> >> would have to only open it for comments and the "ratify" it ;-)
> >>
> >> Bertram
> >>
> >>
> >>>>>>> "SK" == Serguei Krivov <Serguei.Krivov at uvm.edu> writes:
> >>
> SK>
> SK> Bertram and Shawn,
> SK> Ferdinando and I just have been discussing if we could have a
> SK> lighter
> SK> owl reading functionality in the ESD applet.
> SK> We could reduce weight If we use non-rdf  version of owl for
> SK> transfering
> SK> owl ontologies to applet, say such as pure xml expression of owl,
> SK> or
> SK> sparrow syntax for owl. Do you guys have sparrow syntax for the
> SK> complete
> SK> set of owl-dl? And do you have anithing like java parser for
> SK> owl-sparrow, or you use prolog to parse it? Or do you have any
> SK> plans for
> SK> owl-sparrow parser in java?
> SK>
> SK> Thanks,
> SK> serguei
> SK> <html xmlns:o="urn:schemas-microsoft-com:office:office"
> SK> xmlns:w="urn:schemas-microsoft-com:office:word"
> SK> xmlns="http://www.w3.org/TR/REC-html40">
> SK>
> SK> <head>
> SK> <META HTTP-EQUIV="Content-Type" CONTENT="text/html;
> SK> charset=us-ascii">
> SK>
> SK>
> SK> <meta name=ProgId content=Word.Document>
> SK> <meta name=Generator content="Microsoft Word 10">
> SK> <meta name=Originator content="Microsoft Word 10">
> SK> <link rel=File-List href="cid:filelist.xml at 01C4C802.718507D0">
> SK> <!--[if gte mso 9]><xml>
> SK> <o:OfficeDocumentSettings>
> SK> <o:DoNotRelyOnCSS/>
> SK> </o:OfficeDocumentSettings>
> SK> </xml><![endif]--><!--[if gte mso 9]><xml>
> SK> <w:WordDocument>
> SK> <w:SpellingState>Clean</w:SpellingState>
> SK> <w:GrammarState>Clean</w:GrammarState>
> SK> <w:DocumentKind>DocumentEmail</w:DocumentKind>
> SK> <w:EnvelopeVis/>
> SK> <w:DrawingGridHorizontalSpacing>6
> SK> pt</w:DrawingGridHorizontalSpacing>
> SK>
> SK> <w:DisplayHorizontalDrawingGridEvery>2</w:DisplayHorizontalDrawingGridEv
> ery>
> SK>
> SK> <w:DisplayVerticalDrawingGridEvery>2</w:DisplayVerticalDrawingGridEvery>
> SK> <w:Compatibility>
> SK> <w:BreakWrappedTables/>
> SK> <w:SnapToGridInCell/>
> SK> <w:WrapTextWithPunct/>
> SK> <w:UseAsianBreakRules/>
> SK> </w:Compatibility>
> SK> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
> SK> </w:WordDocument>
> SK> </xml><![endif]-->
> SK> <style>
> SK> <!--
> SK> /* Style Definitions */
> SK> p.MsoNormal, li.MsoNormal, div.MsoNormal
> SK> {mso-style-parent:"";
> SK> margin:0in;
> SK> margin-bottom:.0001pt;
> SK> mso-pagination:widow-orphan;
> SK> font-size:12.0pt;
> SK> font-family:"Times New Roman";
> SK> mso-fareast-font-family:"Times New Roman";}
> SK> a:link, span.MsoHyperlink
> SK> {color:blue;
> SK> text-decoration:underline;
> SK> text-underline:single;}
> SK> a:visited, span.MsoHyperlinkFollowed
> SK> {color:purple;
> SK> text-decoration:underline;
> SK> text-underline:single;}
> SK> p.MsoAutoSig, li.MsoAutoSig, div.MsoAutoSig
> SK> {margin:0in;
> SK> margin-bottom:.0001pt;
> SK> mso-pagination:widow-orphan;
> SK> font-size:12.0pt;
> SK> font-family:"Times New Roman";
> SK> mso-fareast-font-family:"Times New Roman";}
> SK> span.EmailStyle17
> SK> {mso-style-type:personal-compose;
> SK> mso-style-noshow:yes;
> SK> mso-ansi-font-size:10.0pt;
> SK> mso-bidi-font-size:10.0pt;
> SK> font-family:Arial;
> SK> mso-ascii-font-family:Arial;
> SK> mso-hansi-font-family:Arial;
> SK> mso-bidi-font-family:Arial;
> SK> color:windowtext;}
> SK> @page Section1
> SK> {size:8.5in 11.0in;
> SK> margin:1.0in 1.0in 1.0in 1.0in;
> SK> mso-header-margin:.5in;
> SK> mso-footer-margin:.5in;
> SK> mso-paper-source:0;}
> SK> div.Section1
> SK> {page:Section1;}
> -->
> SK> </style>
> SK> <!--[if gte mso 10]>
> SK> <style>
> SK> /* Style Definitions */
> SK> table.MsoNormalTable
> SK> {mso-style-name:"Table Normal";
> SK> mso-tstyle-rowband-size:0;
> SK> mso-tstyle-colband-size:0;
> SK> mso-style-noshow:yes;
> SK> mso-style-parent:"";
> SK> mso-padding-alt:0in 5.4pt 0in 5.4pt;
> SK> mso-para-margin:0in;
> SK> mso-para-margin-bottom:.0001pt;
> SK> mso-pagination:widow-orphan;
> SK> font-size:10.0pt;
> SK> font-family:"Times New Roman";}
> SK> </style>
> SK> <![endif]-->
> SK> </head>
> SK>
> SK> <body lang=EN-US link=blue vlink=purple style='tab-interval:.5in'>
> SK>
> SK> <div class=Section1>
> SK>
> SK> <p class=MsoNormal><font size=2 face=Arial><span
> SK> style='font-size:10.0pt;
> SK> font-family:Arial;mso-no-proof:yes'>Bertram and
> SK> Shawn,<o:p></o:p></span></font></p>
> SK>
> SK> <p class=MsoNormal><font size=2 face=Arial><span
> SK> style='font-size:10.0pt;
> SK> font-family:Arial;mso-no-proof:yes'>Ferdinando and I just have
> SK> been discussing
> SK> if we could have a lighter owl reading functionality in the ESD
> SK> applet.<o:p></o:p></span></font></p>
> SK>
> SK> <p class=MsoNormal><font size=2 face=Arial><span
> SK> style='font-size:10.0pt;
> SK> font-family:Arial;mso-no-proof:yes'>We could reduce weight If we
> SK> use
> SK> non-rdf<span style='mso-spacerun:yes'>&nbsp; </span>version of owl
> SK> for
> SK> transfering owl ontologies to applet, say such as pure xml
> SK> expression of owl,
> SK> or sparrow syntax for owl. Do you guys have sparrow syntax for the
> SK> complete set
> SK> of owl-dl? And do you have anithing like java parser for
> SK> owl-sparrow, or you
> SK> use prolog to parse it? Or do you have any plans for owl-sparrow
> SK> parser in
> SK> java?<o:p></o:p></span></font></p>
> SK>
> SK> <p class=MsoNormal><font size=2 face=Arial><span
> SK> style='font-size:10.0pt;
> SK>
> SK> font-family:Arial;mso-no-proof:yes'><o:p>&nbsp;</o:p></span></font></p>
> SK>
> SK> <p class=MsoNormal><font size=2 face=Arial><span
> SK> style='font-size:10.0pt;
> SK>
> SK> font-family:Arial;mso-no-proof:yes'>Thanks,<o:p></o:p></span></font></p>
> SK>
> SK> <p class=MsoNormal><font size=2 face=Arial><span
> SK> style='font-size:10.0pt;
> SK>
> SK> font-family:Arial;mso-no-proof:yes'>serguei</span></font><o:p></o:p></p>
> SK>
> SK> </div>
> SK>
> SK> </body>
> SK>
> SK> </html>
> >> _______________________________________________
> >> seek-kr-sms mailing list
> >> seek-kr-sms at ecoinformatics.org
> >> http://www.ecoinformatics.org/mailman/listinfo/seek-kr-sms
> SK>
> SK> _______________________________________________
> SK> seek-kr-sms mailing list
> SK> seek-kr-sms at ecoinformatics.org
> SK> http://www.ecoinformatics.org/mailman/listinfo/seek-kr-sms
> _______________________________________________
> seek-kr-sms mailing list
> seek-kr-sms at ecoinformatics.org
> http://www.ecoinformatics.org/mailman/listinfo/seek-kr-sms
>