Implementation-Report

Hi, 

can you please update the Thea entry in your page with the following: 

-----------
Thea Prolog OWL library <http://www.semanticweb.gr/thea>  

Thea is a Prolog library that uses an SWI-Prolog's
<http://www.swi-prolog.org>  RDF library for parsing and serializing OWL2
ontologies. The core model is based on the OWL2 functional style syntax and
provides complete support for processing ontologies directly from within
Prolog programs.Thea has a bridge to the java OWL API
<http://owlapi.sourceforge.net/>  and offers support for the Semantic Web
Rule Language (SWRL) <http://www.w3.org/Submission/SWRL/>  and for
translation of ontologies to Description Logic programs.
----------

Thanks and regards,
Vangelis