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

Bertram Ludaescher ludaesch at sdsc.edu
Sat Nov 13 07:54:12 PST 2004 

>>>>> "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

More information about the Seek-kr-sms mailing list