ANN: Thea OWL library for SWI Prolog v0.5

                                Thea <http://www.semanticweb.gr/TheaOWLLib/>
                                        An OWL library for [SWI] Prolog


Thea is a Prolog library for generating and manipulating OWL
<http://www.w3.org/2004/OWL/>  (Web Ontology Language)
content. Thea version 0.5.5 consists of:
        *       OWL parser,
        *       OWL generator,
        *       SQL to OWL converter and
        *       Thea OWL reasoner.
Current version of Thea OWL Prolog library (v 0.5.5) released April 2, 2007.


***Description***

Thea OWL reasoner consists of two submodules:
        *       a OWL abstract terms to Prolog converter based on the
concept of DLP (Description Logic Programs) and  
        *       a Prolog wrapper to the DIG interface so that a Thea
ontology can communicate with a DIG-enabled
                 reasoning engine.

Thea OWL parser uses SWI-Prolog <http://www.swi-prolog.org/> ’s Semantic Web
library for parsing RDF/XML serialisations
of OWL documents into RDF triples and then it builds a representation of the
OWL ontology as it is defined in the OWL
Web Ontology Language Semantics and Abstract Syntax
<http://www.w3.org/TR/2004/REC-owl-semantics-20040210/> 
part of the OWL specification. The OWL ontology abstract syntax is
implemented as Prolog terms. Thea has been tested
extensively against the OWL test cases and for almost all cases it generates
the correct syntactic constructs.

Thea OWL generator is used to the OWL abstract syntax constructs from Prolog
terms into RDF triples and saving the resulting
RDF model into an RDF/XML file. Thea OWL generator is also using SWI-Prolog
<http://www.swi-prolog.org/> ’s Semantic Web
library for saving RDF models into RDF/XML files.

Thea SQL to OWL converter is used to generate OWL facts from records in a
relational database. SQL2OWL uses SWI-Prolog’s
ODBC package to access the RDBMS. The conversion is guided by a mapping
between Relational entities (Tables and Columns)
and OWL constructs (Classes and Properties). The mapping is defined in a
declarative form by means of Prolog terms.


***Downloads***

Thea OWL Lib is available under the GNU/GPL license.

Latest version

        *       Thea OWL Lib v0.5.5
<http://sourceforge.net/project/platformdownload.php?group_id=149576>
       

***Contact***

Thea OWL is a project of www.semanticweb.gr. For any questions, comments and
suggestions please contact:
Vangelis Vassiliadis <mailto:vangelis@semanticweb.gr>
SemanticWeb.gr
Greece
E-mail:vangelis@semanticweb.gr




-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.5.446 / Virus Database: 268.18.24/742 - Release Date: 1/4/2007
8:49 ii

Received on Monday, 2 April 2007 06:45:29 UTC