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

Serguei Krivov Serguei.Krivov at uvm.edu
Sat Nov 13 07:38:28 PST 2004 

Quick question: What about Abox expressions which are essential for owl?

a:C  OK- "a type C"

<a,b> :R   ????

<a, d>: DataProp  ????

I am talking about all possible things inside the individual axiom
(fact)
Individual(o type(C1) ...type(Cn)
     value(R1 o1)...value(Rn on)
     value(U1 v1)...value( Un vn))

Also- how to distinguish
restriction(R allValuesFrom(C))
restriction(R hasValue(o))
???

sorry if I just missed them in the list. I shall sent more detail
comments after more detail analysis.

serguei



------------------------------------------------------------------------
--------------
Serguei Krivov, Assist. Research Professor,
Computer Science Dept. & Gund Inst. for Ecological Economics, 
University of Vermont; 590 Main St. Burlington VT 05405
phone: (802)-656-2978
 

-----Original Message-----
From: seek-kr-sms-admin at ecoinformatics.org
[mailto:seek-kr-sms-admin at ecoinformatics.org] On Behalf Of Shawn Bowers
Sent: Friday, November 12, 2004 7:57 PM
To: Bertram Ludaescher
Cc: Serguei Krivov; seek-kr-sms at ecoinformatics.org
Subject: Re: [seek-kr-sms] owl-sparrow parser?


Hi,

Here is basically a stylized copy of some comments I made in the prolog 
"code" that describes the sparrow-dl operators. This is just for the OWL

part ... and does not contain the "RDF" part, which is basically just 
defining triples of the form (subj, pred, obj), which can have a number 
of sytnaxes.

Comments greatly appreciated!

shawn



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

> 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
lighter
> SK> owl reading functionality in the ESD applet.
> SK> We could reduce weight If we use non-rdf  version of owl for
transfering
> SK> owl ontologies to applet, say such as pure xml expression of owl,
or
> SK> sparrow syntax for owl. Do you guys have sparrow syntax for the
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
plans for
> SK> owl-sparrow parser in java?
> SK>  
> SK> Thanks,
> SK> serguei
> SK> <html xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:w="urn:schemas-microsoft-com:office:word"
xmlns="http://www.w3.org/TR/REC-html40">
> SK> 
> SK> <head>
> SK> <META HTTP-EQUIV="Content-Type" CONTENT="text/html;
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
pt</w:DrawingGridHorizontalSpacing>
> SK>
<w:DisplayHorizontalDrawingGridEvery>2</w:DisplayHorizontalDrawingGridEv
ery>
> 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
style='font-size:10.0pt;
> SK> font-family:Arial;mso-no-proof:yes'>Bertram and
Shawn,<o:p></o:p></span></font></p>
> SK> 
> SK> <p class=MsoNormal><font size=2 face=Arial><span
style='font-size:10.0pt;
> SK> font-family:Arial;mso-no-proof:yes'>Ferdinando and I just have
been discussing
> SK> if we could have a lighter owl reading functionality in the ESD
applet.<o:p></o:p></span></font></p>
> SK> 
> SK> <p class=MsoNormal><font size=2 face=Arial><span
style='font-size:10.0pt;
> SK> font-family:Arial;mso-no-proof:yes'>We could reduce weight If we
use
> SK> non-rdf<span style='mso-spacerun:yes'>&nbsp; </span>version of owl
for
> SK> transfering owl ontologies to applet, say such as pure xml
expression of owl,
> SK> or sparrow syntax for owl. Do you guys have sparrow syntax for the
complete set
> SK> of owl-dl? And do you have anithing like java parser for
owl-sparrow, or you
> SK> use prolog to parse it? Or do you have any plans for owl-sparrow
parser in
> SK> java?<o:p></o:p></span></font></p>
> SK> 
> SK> <p class=MsoNormal><font size=2 face=Arial><span
style='font-size:10.0pt;
> 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
style='font-size:10.0pt;
> 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
style='font-size:10.0pt;
> 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

More information about the Seek-kr-sms mailing list