Permalink
Browse files

Mailing list in sw.gr

  • Loading branch information...
1 parent b60d396 commit cae3a7f6ae734a4e35c4ccd9e8c01991b0f874d5 @vangelisv committed Nov 23, 2010
View
966 doc/index.html
@@ -1,189 +1,777 @@
-<?
-Header( "HTTP/1.1 301 Moved Permanently" );
-Header( "Location: http://www.new-url.com" );
-?> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<HTML>
-<HEAD>
- <META HTTP-EQUIV="CONTENT-TYPE" CONTENT="text/html; charset=windows-1253">
- <TITLE>Thea - [SWI] Prolog OWL library </TITLE>
- <META NAME="GENERATOR" CONTENT="OpenOffice.org 2.2 (Win32)">
- <META NAME="CREATED" CONTENT="20060419;11511905">
- <META NAME="CHANGEDBY" CONTENT="Vangelis Vassiliadis">
- <META NAME="CHANGED" CONTENT="20090912;23202031">
- <META NAME="KEYWORDS" CONTENT="rdf, rdfs, rdf-s, owl, ontology, ontologies, prolog, swi-prolog, sql, parser, rdbms, owl-api, owl library, semantic web, semanticweb, semanticweb.gr, Greece">
- <STYLE TYPE="text/css">
- <!--
- @page { size: 21cm 29.7cm }
- P { color: #000000 }
- TD P { color: #000000 }
- -->
- </STYLE>
-</HEAD>
-<BODY LANG="en-US" TEXT="#000000" DIR="LTR">
-<TABLE WIDTH=678 BORDER=1 BORDERCOLOR="#000000" CELLPADDING=4 CELLSPACING=0 FRAME=VOID RULES=GROUPS STYLE="page-break-before: always">
- <COLGROUP>
- <COL WIDTH=129>
- <COL WIDTH=77>
- <COL WIDTH=102>
- </COLGROUP>
- <COLGROUP>
- <COL WIDTH=247>
- <COL WIDTH=83>
- </COLGROUP>
- <TR VALIGN=TOP>
- <TD ROWSPAN=4 WIDTH=129>
- <P STYLE="margin-bottom: 0.2cm; border: none; padding: 0cm"><BR><BR>
- </P>
- <P STYLE="margin-bottom: 0.2cm; border: none; padding: 0cm"><BR><BR>
- </P>
- <P STYLE="margin-bottom: 0.2cm; border: none; padding: 0cm"><A HREF="http://www.semanticweb.gr/thea"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Home</FONT></FONT></A></P>
- <P STYLE="margin-bottom: 0.2cm; border: none; padding: 0cm"><A HREF="#downloads"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Download</FONT></FONT></A></P>
- <P STYLE="margin-bottom: 0.2cm; border: none; padding: 0cm"><A HREF="#documentation"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Documentation</FONT></FONT></A></P>
- <P STYLE="border: none; padding: 0cm"><A HREF="#contact"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Contact
- - Support</FONT></FONT></A></P>
- </TD>
- <TD WIDTH=77 BGCOLOR="#cc6633">
- <P ALIGN=CENTER><FONT FACE="Courier New, monospace"><FONT SIZE=6 STYLE="font-size: 26pt">&Iuml;<FONT SIZE=6 STYLE="font-size: 22pt">:-</FONT></FONT></FONT></P>
- </TD>
- <TD COLSPAN=2 WIDTH=357>
- <P ALIGN=CENTER STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <A HREF="http://www.semanticweb.gr/thea"><FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=4 STYLE="font-size: 16pt"><B>Thea</B></FONT></FONT></FONT></A></P>
- <P ALIGN=CENTER STYLE="border: none; padding: 0cm"><FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=4>A
- Prolog library for OWL2 </FONT></FONT></FONT>
- </P>
- </TD>
- <TD ROWSPAN=4 WIDTH=83>
- <P STYLE="border: none; padding: 0cm"><BR>
- </P>
- </TD>
- </TR>
- <TR>
- <TD COLSPAN=3 WIDTH=442 VALIGN=TOP>
- <P ALIGN=CENTER STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <BR>
- </P>
- <P ALIGN=LEFT STYLE="margin-right: 0.19cm; margin-bottom: 0cm"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Thea
- is an Prolog library that provides complete support for querying
- and processing <A HREF="http://www.w3.org/TR/owl-guide/">OWL2</A>
- ontologies directly from within Prolog programs.</FONT></FONT></P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><B>Technical
- Overview</B></FONT></FONT></FONT></P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Thea
- uses an <A HREF="http://www.swi-prolog.org/">SWI-Prolog</A>'s RDF
- library for parsing and serializing ontologies, but the core model
- is independent of RDF and is based on the OWL2 functional style
- syntax, allowing direct manipulation of ontology axioms through
- the Prolog database rather than indirectly via RDF triples. </FONT></FONT>
- </P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">While
- previous versions of Thea (up until 0.5.5) provided a small number
- of predicates to support the basic OWL entities - classes,
- properties and individuals, Thea2 was redesigned to support OWL2
- following precisely its structural syntax specification: every
- axiom in the ontology would correspond on a one-to-one basis with
- facts in the prolog database. This allows querying the Ontology by
- simply query the prolog database using goals with variables as
- arguments.</FONT></FONT></P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Thea
- has support from the Semantic Web Rule Language (SWRL). SWRL
- antecedent-consequent rules are represented in the prolog database
- as facts using a two-argument implies/2 predicate, rather than
- directly as prolog rules. Thea also offers additional capabilities
- including a bridge to the java OWL API and translation of
- ontologies to Description Logic programs.</FONT></FONT></P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <BR>
- </P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm"><A NAME="downloads"></A>
- <FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=4 STYLE="font-size: 16pt">Download
- </FONT></FONT></FONT>
- </P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><B>Thea</B></FONT></FONT>
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">OWL
- Lib </FONT></FONT><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB">is
- available under the <A HREF="http://www.gnu.org/copyleft/gpl.html">GNU/GPL
- license.</A></SPAN></FONT></FONT></P>
- <UL>
- <LI><P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB"><B>Thea2
- project is hosted on </B></SPAN></FONT></FONT><FONT COLOR="#000000"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB"><B><A HREF="http://wiki.github.com/vangelisv/thea">Github</A>
- </B></SPAN></FONT></FONT></FONT>
- </P>
- <LI><P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <A HREF="http://www.semanticweb.gr/TheaOWLLib/index_old.html"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Previous
- versions</FONT></FONT></A></P>
- </UL>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <BR>
- </P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm"><A NAME="documentation"></A>
- <FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=4 STYLE="font-size: 16pt">Documentation</FONT></FONT></FONT></P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Thea
- documentation will be provided soon in SWI-Prolog's pldoc format </FONT></FONT>
- </P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Thea
- <A HREF="thea-paper.pdf">technical paper</A> accepted in <A HREF="http://www.webont.org/owled/2009/">OWLED09</A>.</FONT></FONT></P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <BR>
- </P>
- <P ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm"><A NAME="contact"></A>
- <FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=4 STYLE="font-size: 16pt">Contact
- - Support</FONT></FONT></FONT></P>
- <P LANG="en-GB" ALIGN=LEFT STYLE="margin-bottom: 0cm; border: none; padding: 0cm">
- <FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt">Thea
- is open source and support is provided on a &quot;best-effort&quot;
- basis by its developers . For any questions, comments and
- suggestions please contact:</FONT></FONT></P>
- <P ALIGN=LEFT STYLE="border: none; padding: 0cm"><BR>
- </P>
- </TD>
- </TR>
- <TR VALIGN=TOP>
- <TD COLSPAN=2 WIDTH=187>
- <P ALIGN=RIGHT STYLE="margin-left: 0.13cm; margin-bottom: 0cm; border: none; padding: 0cm">
- <A HREF="http://github.com/cmungall"><FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB">Chris
- Mungall [github] </SPAN></FONT></FONT></FONT></A>
- </P>
- <P ALIGN=RIGHT STYLE="margin-left: 0.13cm; margin-bottom: 0cm; border: none; padding: 0cm">
- <BR>
- </P>
- <P ALIGN=RIGHT STYLE="margin-left: 0.13cm; margin-bottom: 0cm; border: none; padding: 0cm">
- <A HREF="http://blipkit.wordpress.com/category/modules/thea/"><FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB">visit
- Chris thea blog</SPAN></FONT></FONT></FONT></A></P>
- <P ALIGN=RIGHT STYLE="margin-left: 0.13cm; border: none; padding: 0cm">
- <FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><A HREF="mailto:cjm@berkeleybop.org">cjm@berkeleybop.org</A><A HREF="mailto:cjm@berkeleybop.org">
- </A></FONT></FONT></FONT>
- </P>
- </TD>
- <TD WIDTH=247>
- <P ALIGN=LEFT STYLE="margin-left: 0.13cm; margin-bottom: 0cm; border: none; padding: 0cm">
- <A HREF="http://github.com/vangelisv"><FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB"><SPAN STYLE="font-style: normal"><SPAN STYLE="font-weight: medium">Vangelis
- Vassiliadis [github]</SPAN></SPAN></SPAN></FONT></FONT></FONT></A></P>
- <P ALIGN=LEFT STYLE="margin-left: 0.13cm; margin-bottom: 0cm; border: none; padding: 0cm">
- <BR>
- </P>
- <P ALIGN=LEFT STYLE="margin-left: 0.13cm; margin-bottom: 0cm; border: none; padding: 0cm">
- <A HREF="http://www.semanticweb.gr/"><FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB"><SPAN STYLE="font-style: normal"><SPAN STYLE="font-weight: medium">SemanticWeb.gr</SPAN></SPAN></SPAN></FONT></FONT></FONT></A></P>
- <P ALIGN=LEFT STYLE="margin-left: 0.13cm; border: none; padding: 0cm">
- <A HREF="mailto:vangelis@semanticweb.gr"><FONT COLOR="#000080"><FONT FACE="Microsoft Sans Serif, sans-serif"><FONT SIZE=2 STYLE="font-size: 11pt"><SPAN LANG="en-GB"><SPAN STYLE="font-style: normal"><SPAN STYLE="font-weight: medium">vangelis@semanticweb.gr</SPAN></SPAN></SPAN></FONT></FONT></FONT></A></P>
- </TD>
- </TR>
- <TR>
- <TD COLSPAN=3 WIDTH=442 VALIGN=TOP>
- <P ALIGN=LEFT STYLE="margin-left: 0.13cm; border: none; padding: 0cm">
- <BR>
- </P>
- </TD>
- </TR>
-</TABLE>
-<P><BR><BR>
-</P>
-</BODY>
-</HTML>
+<html xmlns:v="urn:schemas-microsoft-com:vml"
+xmlns:o="urn:schemas-microsoft-com:office:office"
+xmlns:w="urn:schemas-microsoft-com:office:word"
+xmlns:m="http://schemas.microsoft.com/office/2004/12/omml"
+xmlns="http://www.w3.org/TR/REC-html40">
+
+<head>
+<meta http-equiv=Content-Type content="text/html; charset=windows-1253">
+<meta name=ProgId content=Word.Document>
+<meta name=Generator content="Microsoft Word 12">
+<meta name=Originator content="Microsoft Word 12">
+<link rel=File-List href="index_files/filelist.xml">
+<title>Thea - [SWI] Prolog OWL library </title>
+<!--[if gte mso 9]><xml>
+ <o:DocumentProperties>
+ <o:Author>Vangelis</o:Author>
+ <o:LastAuthor>Vangelis</o:LastAuthor>
+ <o:Revision>2</o:Revision>
+ <o:TotalTime>1</o:TotalTime>
+ <o:Created>2010-11-22T21:07:00Z</o:Created>
+ <o:LastSaved>2010-11-22T21:08:00Z</o:LastSaved>
+ <o:Pages>1</o:Pages>
+ <o:Words>453</o:Words>
+ <o:Characters>2450</o:Characters>
+ <o:Lines>20</o:Lines>
+ <o:Paragraphs>5</o:Paragraphs>
+ <o:CharactersWithSpaces>2898</o:CharactersWithSpaces>
+ <o:Version>12.00</o:Version>
+ </o:DocumentProperties>
+</xml><![endif]-->
+<link rel=themeData href="index_files/themedata.thmx">
+<link rel=colorSchemeMapping href="index_files/colorschememapping.xml">
+<!--[if gte mso 9]><xml>
+ <w:WordDocument>
+ <w:Zoom>110</w:Zoom>
+ <w:SpellingState>Clean</w:SpellingState>
+ <w:GrammarState>Clean</w:GrammarState>
+ <w:TrackMoves>false</w:TrackMoves>
+ <w:TrackFormatting/>
+ <w:ValidateAgainstSchemas/>
+ <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
+ <w:IgnoreMixedContent>false</w:IgnoreMixedContent>
+ <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
+ <w:DoNotPromoteQF/>
+ <w:LidThemeOther>EL</w:LidThemeOther>
+ <w:LidThemeAsian>X-NONE</w:LidThemeAsian>
+ <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
+ <w:Compatibility>
+ <w:BreakWrappedTables/>
+ <w:SnapToGridInCell/>
+ <w:WrapTextWithPunct/>
+ <w:UseAsianBreakRules/>
+ <w:DontGrowAutofit/>
+ <w:SplitPgBreakAndParaMark/>
+ <w:DontVertAlignCellWithSp/>
+ <w:DontBreakConstrainedForcedTables/>
+ <w:DontVertAlignInTxbx/>
+ <w:Word11KerningPairs/>
+ <w:CachedColBalance/>
+ </w:Compatibility>
+ <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
+ <m:mathPr>
+ <m:mathFont m:val="Cambria Math"/>
+ <m:brkBin m:val="before"/>
+ <m:brkBinSub m:val="--"/>
+ <m:smallFrac m:val="off"/>
+ <m:dispDef/>
+ <m:lMargin m:val="0"/>
+ <m:rMargin m:val="0"/>
+ <m:defJc m:val="centerGroup"/>
+ <m:wrapIndent m:val="1440"/>
+ <m:intLim m:val="subSup"/>
+ <m:naryLim m:val="undOvr"/>
+ </m:mathPr></w:WordDocument>
+</xml><![endif]--><!--[if gte mso 9]><xml>
+ <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true"
+ DefSemiHidden="true" DefQFormat="false" DefPriority="99"
+ LatentStyleCount="267">
+ <w:LsdException Locked="false" Priority="0" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Normal"/>
+ <w:LsdException Locked="false" Priority="9" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="heading 1"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/>
+ <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 1"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 2"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 3"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 4"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 5"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 6"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 7"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 8"/>
+ <w:LsdException Locked="false" Priority="39" Name="toc 9"/>
+ <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/>
+ <w:LsdException Locked="false" Priority="10" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Title"/>
+ <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/>
+ <w:LsdException Locked="false" Priority="11" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/>
+ <w:LsdException Locked="false" Priority="22" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Strong"/>
+ <w:LsdException Locked="false" Priority="20" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/>
+ <w:LsdException Locked="false" Priority="59" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Table Grid"/>
+ <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/>
+ <w:LsdException Locked="false" Priority="1" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/>
+ <w:LsdException Locked="false" Priority="60" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Shading"/>
+ <w:LsdException Locked="false" Priority="61" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light List"/>
+ <w:LsdException Locked="false" Priority="62" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Grid"/>
+ <w:LsdException Locked="false" Priority="63" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 1"/>
+ <w:LsdException Locked="false" Priority="64" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 2"/>
+ <w:LsdException Locked="false" Priority="65" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 1"/>
+ <w:LsdException Locked="false" Priority="66" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 2"/>
+ <w:LsdException Locked="false" Priority="67" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 1"/>
+ <w:LsdException Locked="false" Priority="68" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 2"/>
+ <w:LsdException Locked="false" Priority="69" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 3"/>
+ <w:LsdException Locked="false" Priority="70" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Dark List"/>
+ <w:LsdException Locked="false" Priority="71" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Shading"/>
+ <w:LsdException Locked="false" Priority="72" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful List"/>
+ <w:LsdException Locked="false" Priority="73" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Grid"/>
+ <w:LsdException Locked="false" Priority="60" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Shading Accent 1"/>
+ <w:LsdException Locked="false" Priority="61" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light List Accent 1"/>
+ <w:LsdException Locked="false" Priority="62" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Grid Accent 1"/>
+ <w:LsdException Locked="false" Priority="63" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/>
+ <w:LsdException Locked="false" Priority="64" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/>
+ <w:LsdException Locked="false" Priority="65" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/>
+ <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/>
+ <w:LsdException Locked="false" Priority="34" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/>
+ <w:LsdException Locked="false" Priority="29" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Quote"/>
+ <w:LsdException Locked="false" Priority="30" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/>
+ <w:LsdException Locked="false" Priority="66" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/>
+ <w:LsdException Locked="false" Priority="67" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/>
+ <w:LsdException Locked="false" Priority="68" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/>
+ <w:LsdException Locked="false" Priority="69" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/>
+ <w:LsdException Locked="false" Priority="70" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Dark List Accent 1"/>
+ <w:LsdException Locked="false" Priority="71" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/>
+ <w:LsdException Locked="false" Priority="72" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful List Accent 1"/>
+ <w:LsdException Locked="false" Priority="73" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/>
+ <w:LsdException Locked="false" Priority="60" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Shading Accent 2"/>
+ <w:LsdException Locked="false" Priority="61" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light List Accent 2"/>
+ <w:LsdException Locked="false" Priority="62" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Grid Accent 2"/>
+ <w:LsdException Locked="false" Priority="63" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/>
+ <w:LsdException Locked="false" Priority="64" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/>
+ <w:LsdException Locked="false" Priority="65" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/>
+ <w:LsdException Locked="false" Priority="66" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/>
+ <w:LsdException Locked="false" Priority="67" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/>
+ <w:LsdException Locked="false" Priority="68" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/>
+ <w:LsdException Locked="false" Priority="69" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/>
+ <w:LsdException Locked="false" Priority="70" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Dark List Accent 2"/>
+ <w:LsdException Locked="false" Priority="71" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/>
+ <w:LsdException Locked="false" Priority="72" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful List Accent 2"/>
+ <w:LsdException Locked="false" Priority="73" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/>
+ <w:LsdException Locked="false" Priority="60" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Shading Accent 3"/>
+ <w:LsdException Locked="false" Priority="61" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light List Accent 3"/>
+ <w:LsdException Locked="false" Priority="62" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Grid Accent 3"/>
+ <w:LsdException Locked="false" Priority="63" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/>
+ <w:LsdException Locked="false" Priority="64" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/>
+ <w:LsdException Locked="false" Priority="65" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/>
+ <w:LsdException Locked="false" Priority="66" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/>
+ <w:LsdException Locked="false" Priority="67" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/>
+ <w:LsdException Locked="false" Priority="68" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/>
+ <w:LsdException Locked="false" Priority="69" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/>
+ <w:LsdException Locked="false" Priority="70" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Dark List Accent 3"/>
+ <w:LsdException Locked="false" Priority="71" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/>
+ <w:LsdException Locked="false" Priority="72" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful List Accent 3"/>
+ <w:LsdException Locked="false" Priority="73" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/>
+ <w:LsdException Locked="false" Priority="60" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Shading Accent 4"/>
+ <w:LsdException Locked="false" Priority="61" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light List Accent 4"/>
+ <w:LsdException Locked="false" Priority="62" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Grid Accent 4"/>
+ <w:LsdException Locked="false" Priority="63" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/>
+ <w:LsdException Locked="false" Priority="64" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/>
+ <w:LsdException Locked="false" Priority="65" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/>
+ <w:LsdException Locked="false" Priority="66" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/>
+ <w:LsdException Locked="false" Priority="67" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/>
+ <w:LsdException Locked="false" Priority="68" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/>
+ <w:LsdException Locked="false" Priority="69" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/>
+ <w:LsdException Locked="false" Priority="70" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Dark List Accent 4"/>
+ <w:LsdException Locked="false" Priority="71" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/>
+ <w:LsdException Locked="false" Priority="72" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful List Accent 4"/>
+ <w:LsdException Locked="false" Priority="73" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/>
+ <w:LsdException Locked="false" Priority="60" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Shading Accent 5"/>
+ <w:LsdException Locked="false" Priority="61" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light List Accent 5"/>
+ <w:LsdException Locked="false" Priority="62" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Grid Accent 5"/>
+ <w:LsdException Locked="false" Priority="63" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/>
+ <w:LsdException Locked="false" Priority="64" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/>
+ <w:LsdException Locked="false" Priority="65" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/>
+ <w:LsdException Locked="false" Priority="66" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/>
+ <w:LsdException Locked="false" Priority="67" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/>
+ <w:LsdException Locked="false" Priority="68" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/>
+ <w:LsdException Locked="false" Priority="69" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/>
+ <w:LsdException Locked="false" Priority="70" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Dark List Accent 5"/>
+ <w:LsdException Locked="false" Priority="71" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/>
+ <w:LsdException Locked="false" Priority="72" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful List Accent 5"/>
+ <w:LsdException Locked="false" Priority="73" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/>
+ <w:LsdException Locked="false" Priority="60" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Shading Accent 6"/>
+ <w:LsdException Locked="false" Priority="61" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light List Accent 6"/>
+ <w:LsdException Locked="false" Priority="62" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Light Grid Accent 6"/>
+ <w:LsdException Locked="false" Priority="63" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/>
+ <w:LsdException Locked="false" Priority="64" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/>
+ <w:LsdException Locked="false" Priority="65" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/>
+ <w:LsdException Locked="false" Priority="66" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/>
+ <w:LsdException Locked="false" Priority="67" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/>
+ <w:LsdException Locked="false" Priority="68" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/>
+ <w:LsdException Locked="false" Priority="69" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/>
+ <w:LsdException Locked="false" Priority="70" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Dark List Accent 6"/>
+ <w:LsdException Locked="false" Priority="71" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/>
+ <w:LsdException Locked="false" Priority="72" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful List Accent 6"/>
+ <w:LsdException Locked="false" Priority="73" SemiHidden="false"
+ UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/>
+ <w:LsdException Locked="false" Priority="19" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/>
+ <w:LsdException Locked="false" Priority="21" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/>
+ <w:LsdException Locked="false" Priority="31" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/>
+ <w:LsdException Locked="false" Priority="32" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/>
+ <w:LsdException Locked="false" Priority="33" SemiHidden="false"
+ UnhideWhenUsed="false" QFormat="true" Name="Book Title"/>
+ <w:LsdException Locked="false" Priority="37" Name="Bibliography"/>
+ <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/>
+ </w:LatentStyles>
+</xml><![endif]-->
+<style>
+<!--
+ /* Font Definitions */
+ @font-face
+ {font-family:Wingdings;
+ panose-1:5 0 0 0 0 0 0 0 0 0;
+ mso-font-charset:2;
+ mso-generic-font-family:auto;
+ mso-font-pitch:variable;
+ mso-font-signature:0 268435456 0 0 -2147483648 0;}
+@font-face
+ {font-family:"Cambria Math";
+ panose-1:2 4 5 3 5 4 6 3 2 4;
+ mso-font-charset:1;
+ mso-generic-font-family:roman;
+ mso-font-format:other;
+ mso-font-pitch:variable;
+ mso-font-signature:0 0 0 0 0 0;}
+@font-face
+ {font-family:"Microsoft Sans Serif";
+ panose-1:2 11 6 4 2 2 2 2 2 4;
+ mso-font-charset:161;
+ mso-generic-font-family:swiss;
+ mso-font-pitch:variable;
+ mso-font-signature:-520082689 -1073741822 8 0 66047 0;}
+ /* Style Definitions */
+ p.MsoNormal, li.MsoNormal, div.MsoNormal
+ {mso-style-unhide:no;
+ mso-style-qformat:yes;
+ mso-style-parent:"";
+ margin:0cm;
+ margin-bottom:.0001pt;
+ mso-pagination:widow-orphan;
+ font-size:12.0pt;
+ font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";
+ mso-fareast-theme-font:minor-fareast;
+ color:black;}
+a:link, span.MsoHyperlink
+ {mso-style-noshow:yes;
+ mso-style-priority:99;
+ color:blue;}
+a:visited, span.MsoHyperlinkFollowed
+ {mso-style-noshow:yes;
+ mso-style-priority:99;
+ color:purple;}
+p
+ {mso-style-noshow:yes;
+ mso-style-priority:99;
+ mso-margin-top-alt:auto;
+ margin-right:0cm;
+ mso-margin-bottom-alt:auto;
+ margin-left:0cm;
+ mso-pagination:widow-orphan;
+ font-size:12.0pt;
+ font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";
+ mso-fareast-theme-font:minor-fareast;
+ color:black;}
+span.SpellE
+ {mso-style-name:"";
+ mso-spl-e:yes;}
+.MsoChpDefault
+ {mso-style-type:export-only;
+ mso-default-props:yes;
+ font-size:10.0pt;
+ mso-ansi-font-size:10.0pt;
+ mso-bidi-font-size:10.0pt;}
+@page Section1
+ {size:595.3pt 841.9pt;
+ margin:72.0pt 90.0pt 72.0pt 90.0pt;
+ mso-header-margin:35.4pt;
+ mso-footer-margin:35.4pt;
+ mso-paper-source:0;}
+div.Section1
+ {page:Section1;}
+ /* List Definitions */
+ @list l0
+ {mso-list-id:778842160;
+ mso-list-template-ids:-1784485202;}
+@list l0:level1
+ {mso-level-number-format:bullet;
+ mso-level-text:\F0B7;
+ mso-level-tab-stop:36.0pt;
+ mso-level-number-position:left;
+ text-indent:-18.0pt;
+ mso-ansi-font-size:10.0pt;
+ font-family:Symbol;}
+ol
+ {margin-bottom:0cm;}
+ul
+ {margin-bottom:0cm;}
+-->
+</style>
+<!--[if gte mso 10]>
+<style>
+ /* Style Definitions */
+ table.MsoNormalTable
+ {mso-style-name:"Table Normal";
+ mso-tstyle-rowband-size:0;
+ mso-tstyle-colband-size:0;
+ mso-style-noshow:yes;
+ mso-style-priority:99;
+ mso-style-qformat:yes;
+ mso-style-parent:"";
+ mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
+ mso-para-margin:0cm;
+ mso-para-margin-bottom:.0001pt;
+ mso-pagination:widow-orphan;
+ font-size:10.0pt;
+ font-family:"Times New Roman","serif";}
+</style>
+<![endif]-->
+<meta name=CREATED content="20060419;11511905">
+<meta name=CHANGEDBY content="Vangelis Vassiliadis">
+<meta name=CHANGED content="20090912;23202031">
+<meta name=KEYWORDS
+content="rdf, rdfs, rdf-s, owl, ontology, ontologies, prolog, swi-prolog, sql, parser, rdbms, owl-api, owl library, semantic web, semanticweb, semanticweb.gr, Greece">
+<!--[if gte mso 9]><xml>
+ <o:shapedefaults v:ext="edit" spidmax="2050"/>
+</xml><![endif]--><!--[if gte mso 9]><xml>
+ <o:shapelayout v:ext="edit">
+ <o:idmap v:ext="edit" data="1"/>
+ </o:shapelayout></xml><![endif]-->
+</head>
+
+<body lang=EL link=blue vlink=purple style='tab-interval:36.0pt'>
+
+<div class=Section1>
+
+<table class=MsoNormalTable border=1 cellspacing=0 cellpadding=0 width=678
+ style='width:508.5pt;mso-cellspacing:0cm;border:outset black 1.0pt;mso-border-alt:
+ outset black .75pt;mso-yfti-tbllook:1184;mso-padding-alt:3.0pt 3.0pt 3.0pt 3.0pt'>
+ <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'>
+ <td width=129 rowspan=4 valign=top style='width:96.75pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;padding:3.0pt 3.0pt 3.0pt 3.0pt'><span
+ style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-font-family:
+ "Times New Roman";mso-fareast-theme-font:minor-fareast;color:black;
+ mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:AR-SA'><br
+ clear=all style='page-break-before:always'>
+ <br clear=all style='mso-special-character:line-break;page-break-before:always'>
+ </span>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-bottom:5.65pt'><o:p>&nbsp;</o:p></p>
+ <span style='font-size:12.0pt;font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast;
+ color:black;mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:
+ AR-SA'><br clear=all style='page-break-before:always'>
+ <br clear=all style='mso-special-character:line-break;page-break-before:always'>
+ </span>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-bottom:5.65pt'><o:p>&nbsp;</o:p></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-bottom:5.65pt'><a
+ href="http://www.semanticweb.gr/thea"><span class=SpellE><span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Home</span></span></a></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-bottom:5.65pt'><a
+ href="#downloads"><span class=SpellE><span style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif"'>Download</span></span></a></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-bottom:5.65pt'><a
+ href="#documentation"><span class=SpellE><span style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif"'>Documentation</span></span></a></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><a
+ href="#contact"><span class=SpellE><span style='font-size:11.0pt;font-family:
+ "Microsoft Sans Serif","sans-serif"'>Contact</span></span><span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'> - <span
+ class=SpellE>Support</span></span></a></p>
+ </td>
+ <td width=77 valign=top style='width:57.75pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;background:#CC6633;padding:3.0pt 3.0pt 3.0pt 3.0pt'>
+ <p class=MsoNormal align=center style='mso-margin-top-alt:auto;mso-margin-bottom-alt:
+ auto;text-align:center'><span style='font-size:26.0pt;font-family:"Courier New"'>&Iuml;</span><span
+ style='font-size:22.0pt;font-family:"Courier New"'>:-</span></p>
+ </td>
+ <td width=357 colspan=2 valign=top style='width:267.75pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;padding:3.0pt 3.0pt 3.0pt 3.0pt'>
+ <p class=MsoNormal align=center style='mso-margin-top-alt:auto;text-align:
+ center'><a href="http://www.semanticweb.gr/thea"><b><span style='font-size:
+ 16.0pt;font-family:"Microsoft Sans Serif","sans-serif";color:navy'>Thea</span></b></a></p>
+ <p class=MsoNormal align=center style='mso-margin-top-alt:auto;mso-margin-bottom-alt:
+ auto;text-align:center'><span style='font-size:13.5pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy'>A <span class=SpellE>Prolog</span> <span class=SpellE>library</span>
+ <span class=SpellE>for</span> OWL2 </span></p>
+ </td>
+ <td width=83 rowspan=4 valign=top style='width:62.25pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;padding:3.0pt 3.0pt 3.0pt 3.0pt'><span
+ style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-font-family:
+ "Times New Roman";mso-fareast-theme-font:minor-fareast;color:black;
+ mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:AR-SA'><br
+ clear=all style='mso-special-character:line-break;page-break-before:always'>
+ </span></td>
+ </tr>
+ <tr style='mso-yfti-irow:1'>
+ <td width=442 colspan=3 valign=top style='width:331.5pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;padding:3.0pt 3.0pt 3.0pt 3.0pt'><span
+ style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-font-family:
+ "Times New Roman";mso-fareast-theme-font:minor-fareast;color:black;
+ mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:AR-SA'><br
+ clear=all style='mso-special-character:line-break;page-break-before:always'>
+ </span>
+ <p class=MsoNormal align=center style='mso-margin-top-alt:auto;text-align:
+ center'><o:p>&nbsp;</o:p></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-right:5.4pt'><span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Thea
+ <span class=SpellE>is</span> <span class=SpellE>an</span> <span class=SpellE>Prolog</span>
+ <span class=SpellE>library</span> <span class=SpellE>that</span> <span
+ class=SpellE>provides</span> <span class=SpellE>complete</span> <span
+ class=SpellE>support</span> <span class=SpellE>for</span> <span class=SpellE>querying</span>
+ <span class=SpellE>and</span> <span class=SpellE>processing</span> <a
+ href="http://www.w3.org/TR/owl-guide/">OWL2</a> ontologies <span
+ class=SpellE>directly</span> <span class=SpellE>from</span> <span
+ class=SpellE>within</span> <span class=SpellE>Prolog</span> <span
+ class=SpellE>programs</span>.</span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span class=SpellE><b><span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy'>Technical</span></b></span><b><span style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif";color:navy'> <span
+ class=SpellE>Overview</span></span></b></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span style='font-size:
+ 11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Thea <span
+ class=SpellE>uses</span> <span class=SpellE>an</span> <a
+ href="http://www.swi-prolog.org/">SWI-Prolog</a>'s RDF <span class=SpellE>library</span>
+ <span class=SpellE>for</span> <span class=SpellE>parsing</span> <span
+ class=SpellE>and</span> <span class=SpellE>serializing</span> ontologies, <span
+ class=SpellE>but</span> the <span class=SpellE>core</span> <span
+ class=SpellE>model</span> <span class=SpellE>is</span> <span class=SpellE>independent</span>
+ of RDF <span class=SpellE>and</span> <span class=SpellE>is</span> <span
+ class=SpellE>based</span> <span class=SpellE>on</span> the OWL2 <span
+ class=SpellE>functional</span> <span class=SpellE>style</span> <span
+ class=SpellE>syntax</span>, <span class=SpellE>allowing</span> <span
+ class=SpellE>direct</span> <span class=SpellE>manipulation</span> of <span
+ class=SpellE>ontology</span> <span class=SpellE>axioms</span> <span
+ class=SpellE>through</span> the <span class=SpellE>Prolog</span> <span
+ class=SpellE>database</span> <span class=SpellE>rather</span> <span
+ class=SpellE>than</span> <span class=SpellE>indirectly</span> <span
+ class=SpellE>via</span> RDF <span class=SpellE>triples</span>. </span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span class=SpellE><span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>While</span></span><span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'> <span
+ class=SpellE>previous</span> <span class=SpellE>versions</span> of Thea (<span
+ class=SpellE>up</span> <span class=SpellE>until</span> 0.5.5) <span
+ class=SpellE>provided</span> a <span class=SpellE>small</span> <span
+ class=SpellE>number</span> of <span class=SpellE>predicates</span> <span
+ class=SpellE>to</span> <span class=SpellE>support</span> the <span
+ class=SpellE>basic</span> OWL <span class=SpellE>entities</span> - <span
+ class=SpellE>classes</span>, <span class=SpellE>properties</span> <span
+ class=SpellE>and</span> <span class=SpellE>individuals</span>, Thea2 <span
+ class=SpellE>was</span> <span class=SpellE>redesigned</span> <span
+ class=SpellE>to</span> <span class=SpellE>support</span> OWL2 <span
+ class=SpellE>following</span> <span class=SpellE>precisely</span> <span
+ class=SpellE>its</span> <span class=SpellE>structural</span> <span
+ class=SpellE>syntax</span> <span class=SpellE>specification</span>: <span
+ class=SpellE>every</span> <span class=SpellE>axiom</span> <span class=SpellE>in</span>
+ the <span class=SpellE>ontology</span> <span class=SpellE>would</span> <span
+ class=SpellE>correspond</span> <span class=SpellE>on</span> a <span
+ class=SpellE>one</span>-<span class=SpellE>to</span>-<span class=SpellE>one</span>
+ <span class=SpellE>basis</span> <span class=SpellE>with</span> <span
+ class=SpellE>facts</span> <span class=SpellE>in</span> the <span
+ class=SpellE>prolog</span> <span class=SpellE>database</span>. <span
+ class=SpellE>This</span> <span class=SpellE>allows</span> <span class=SpellE>querying</span>
+ the <span class=SpellE>Ontology</span> <span class=SpellE>by</span> <span
+ class=SpellE>simply</span> <span class=SpellE>query</span> the <span
+ class=SpellE>prolog</span> <span class=SpellE>database</span> <span
+ class=SpellE>using</span> <span class=SpellE>goals</span> <span class=SpellE>with</span>
+ <span class=SpellE>variables</span> <span class=SpellE>as</span> <span
+ class=SpellE>arguments</span>.</span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span style='font-size:
+ 11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Thea <span
+ class=SpellE>has</span> <span class=SpellE>support</span> <span class=SpellE>from</span>
+ the <span class=SpellE>Semantic</span> Web <span class=SpellE>Rule</span> <span
+ class=SpellE>Language</span> (SWRL). SWRL <span class=SpellE>antecedent</span>-<span
+ class=SpellE>consequent</span> <span class=SpellE>rules</span> <span
+ class=SpellE>are</span> <span class=SpellE>represented</span> <span
+ class=SpellE>in</span> the <span class=SpellE>prolog</span> <span
+ class=SpellE>database</span> <span class=SpellE>as</span> <span class=SpellE>facts</span>
+ <span class=SpellE>using</span> a <span class=SpellE>two</span>-<span
+ class=SpellE>argument</span> implies/2 <span class=SpellE>predicate</span>, <span
+ class=SpellE>rather</span> <span class=SpellE>than</span> <span class=SpellE>directly</span>
+ <span class=SpellE>as</span> <span class=SpellE>prolog</span> <span
+ class=SpellE>rules</span>. Thea <span class=SpellE>also</span> <span
+ class=SpellE>offers</span> <span class=SpellE>additional</span> <span
+ class=SpellE>capabilities</span> <span class=SpellE>including</span> a <span
+ class=SpellE>bridge</span> <span class=SpellE>to</span> the <span
+ class=SpellE>java</span> OWL API <span class=SpellE>and</span> <span
+ class=SpellE>translation</span> of ontologies <span class=SpellE>to</span> <span
+ class=SpellE>Description</span> <span class=SpellE>Logic</span> <span
+ class=SpellE>programs</span>.</span></p>
+ <span style='font-size:12.0pt;font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast;
+ color:black;mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:
+ AR-SA'><br clear=all style='mso-special-character:line-break;page-break-before:
+ always'>
+ </span>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><o:p>&nbsp;</o:p></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><a name=downloads></a><span
+ class=SpellE><span style='font-size:16.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy'>Download</span></span><span style='font-size:16.0pt;font-family:
+ "Microsoft Sans Serif","sans-serif";color:navy'> </span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><b><span style='font-size:
+ 11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Thea</span></b> <span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>OWL <span
+ class=SpellE>Lib</span> </span><span lang=EN-GB style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif";mso-ansi-language:EN-GB'>is
+ available under the <a href="http://www.gnu.org/copyleft/gpl.html">GNU/GPL
+ license.</a></span></p>
+ <ul type=disc>
+ <li class=MsoNormal style='mso-margin-top-alt:auto;mso-list:l0 level1 lfo1;
+ tab-stops:list 36.0pt'><b><span lang=EN-GB style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif";mso-ansi-language:EN-GB'>Thea2
+ project is hosted on <a href="http://wiki.github.com/vangelisv/thea"><span
+ class=SpellE>Github</span></a> </span></b></li>
+ <li class=MsoNormal style='mso-margin-top-alt:auto;mso-list:l0 level1 lfo1;
+ tab-stops:list 36.0pt'><a
+ href="http://www.semanticweb.gr/TheaOWLLib/index_old.html"><span
+ class=SpellE><span style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Previous</span></span><span
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>
+ <span class=SpellE>versions</span></span></a></li>
+ </ul>
+ <span style='font-size:12.0pt;font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast;
+ color:black;mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:
+ AR-SA'><br clear=all style='mso-special-character:line-break;page-break-before:
+ always'>
+ </span>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><o:p>&nbsp;</o:p></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><a name=documentation></a><span
+ class=SpellE><span style='font-size:16.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy'>Documentation</span></span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span style='font-size:
+ 11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Thea <span
+ class=SpellE>documentation</span> <span class=SpellE>will</span> <span
+ class=SpellE>be</span> <span class=SpellE>provided</span> <span class=SpellE>soon</span>
+ <span class=SpellE>in</span> SWI-Prolog's <span class=SpellE>pldoc</span> <span
+ class=SpellE>format</span> </span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span style='font-size:
+ 11.0pt;font-family:"Microsoft Sans Serif","sans-serif"'>Thea <a
+ href="thea-paper.pdf"><span class=SpellE>technical</span> <span class=SpellE>paper</span></a>
+ <span class=SpellE>accepted</span> <span class=SpellE>in</span> <a
+ href="http://www.webont.org/owled/2009/">OWLED09</a>.</span></p>
+ <span style='font-size:12.0pt;font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast;
+ color:black;mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:
+ AR-SA'><br clear=all style='mso-special-character:line-break;page-break-before:
+ always'>
+ </span>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><o:p>&nbsp;</o:p></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><a name=contact></a><span
+ class=SpellE><span style='font-size:16.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy'>Contact</span></span><span style='font-size:16.0pt;font-family:
+ "Microsoft Sans Serif","sans-serif";color:navy'> – </span><span lang=EN-US
+ style='font-size:16.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy;mso-ansi-language:EN-US'>Mailing list</span><span lang=EN-US
+ style='mso-ansi-language:EN-US'><o:p></o:p></span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span style='font-size:
+ 11.0pt;font-family:"Microsoft Sans Serif","sans-serif";mso-fareast-font-family:
+ "Times New Roman";color:windowtext'>Thea is open source and support is
+ provided on a &quot;best-effort&quot; basis by its developers . For any
+ questions, comments and suggestions please contact the mailing list: <a
+ href="http://groups.google.com/group/thea-owl-lib"><span style='mso-bidi-font-size:
+ 12.0pt'>Thea-OWL-Lib</span></a></span><span style='mso-fareast-font-family:
+ "Times New Roman";color:windowtext'><o:p></o:p></span></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto'><span lang=EN-GB
+ style='mso-ansi-language:EN-GB'><o:p>&nbsp;</o:p></span></p>
+ <span style='font-size:12.0pt;font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast;
+ color:black;mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:
+ AR-SA'><br clear=all style='mso-special-character:line-break;page-break-before:
+ always'>
+ </span></td>
+ </tr>
+ <tr style='mso-yfti-irow:2'>
+ <td width=187 colspan=2 valign=top style='width:140.25pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;padding:3.0pt 3.0pt 3.0pt 3.0pt'>
+ <p class=MsoNormal align=right style='mso-margin-top-alt:auto;margin-left:
+ 3.7pt;text-align:right'><a href="http://github.com/cmungall"><span
+ lang=EN-GB style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy;mso-ansi-language:EN-GB'>Chris Mungall [<span class=SpellE>github</span>]
+ </span></a></p>
+ <span style='font-size:12.0pt;font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast;
+ color:black;mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:
+ AR-SA'><br clear=all style='mso-special-character:line-break;page-break-before:
+ always'>
+ </span>
+ <p class=MsoNormal align=right style='mso-margin-top-alt:auto;margin-left:
+ 3.7pt;text-align:right'><o:p>&nbsp;</o:p></p>
+ <p class=MsoNormal align=right style='mso-margin-top-alt:auto;margin-left:
+ 3.7pt;text-align:right'><a
+ href="http://blipkit.wordpress.com/category/modules/thea/"><span lang=EN-GB
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy;mso-ansi-language:EN-GB'>visit Chris <span class=SpellE>thea</span>
+ blog</span></a></p>
+ <p class=MsoNormal align=right style='mso-margin-top-alt:auto;mso-margin-bottom-alt:
+ auto;margin-left:3.7pt;text-align:right'><span style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif";color:navy'><a
+ href="mailto:cjm@berkeleybop.org">cjm@berkeleybop.org</a><a
+ href="mailto:cjm@berkeleybop.org"> </a></span></p>
+ </td>
+ <td width=247 valign=top style='width:185.25pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;padding:3.0pt 3.0pt 3.0pt 3.0pt'>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-left:3.7pt'><a
+ href="http://github.com/vangelisv"><span lang=EN-GB style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif";color:navy;mso-ansi-language:
+ EN-GB'><span style='font-weight:medium'>Vangelis Vassiliadis [<span
+ class=SpellE>github</span>]</span></span></a></p>
+ <span style='font-size:12.0pt;font-family:"Times New Roman","serif";
+ mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast;
+ color:black;mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:
+ AR-SA'><br clear=all style='mso-special-character:line-break;page-break-before:
+ always'>
+ </span>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-left:3.7pt'><o:p>&nbsp;</o:p></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;margin-left:3.7pt'><a
+ href="http://www.semanticweb.gr/"><span lang=EN-GB style='font-size:11.0pt;
+ font-family:"Microsoft Sans Serif","sans-serif";color:navy;mso-ansi-language:
+ EN-GB'><span style='font-weight:medium'>SemanticWeb.gr</span></span></a></p>
+ <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;
+ margin-left:3.7pt'><a href="mailto:vangelis@semanticweb.gr"><span lang=EN-GB
+ style='font-size:11.0pt;font-family:"Microsoft Sans Serif","sans-serif";
+ color:navy;mso-ansi-language:EN-GB'><span style='font-weight:medium'>vangelis@semanticweb.gr</span></span></a></p>
+ </td>
+ </tr>
+ <tr style='mso-yfti-irow:3;mso-yfti-lastrow:yes'>
+ <td width=442 colspan=3 valign=top style='width:331.5pt;border:inset black 1.0pt;
+ mso-border-alt:inset black .75pt;padding:3.0pt 3.0pt 3.0pt 3.0pt'><span
+ style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-font-family:
+ "Times New Roman";mso-fareast-theme-font:minor-fareast;color:black;
+ mso-ansi-language:EL;mso-fareast-language:EL;mso-bidi-language:AR-SA'><br
+ clear=all style='mso-special-character:line-break;page-break-before:always'>
+ </span></td>
+ </tr>
+ <![if !supportMisalignedColumns]>
+ <tr height=0>
+ <td width=134 style='border:none'></td>
+ <td width=80 style='border:none'></td>
+ <td width=114 style='border:none'></td>
+ <td width=264 style='border:none'></td>
+ <td width=86 style='border:none'></td>
+ </tr>
+ <![endif]>
+</table>
+
+<p style='margin-bottom:12.0pt'><span lang=EN-US style='mso-ansi-language:EN-US'><o:p>&nbsp;</o:p></span></p>
+
+</div>
+
+</body>
+
+</html>
View
2 doc/index_files/colorschememapping.xml
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<a:clrMap xmlns:a="http://schemas.openxmlformats.org/drawingml/2006/main" bg1="lt1" tx1="dk1" bg2="lt2" tx2="dk2" accent1="accent1" accent2="accent2" accent3="accent3" accent4="accent4" accent5="accent5" accent6="accent6" hlink="hlink" folHlink="folHlink"/>
View
6 doc/index_files/filelist.xml
@@ -0,0 +1,6 @@
+<xml xmlns:o="urn:schemas-microsoft-com:office:office">
+ <o:MainFile HRef="../index.html"/>
+ <o:File HRef="themedata.thmx"/>
+ <o:File HRef="colorschememapping.xml"/>
+ <o:File HRef="filelist.xml"/>
+</xml>
View
BIN doc/index_files/themedata.thmx
Binary file not shown.

0 comments on commit cae3a7f

Please sign in to comment.