ANN: Thea OWL Parser for SWI Prolog v0.3

*Thea: *A Web Ontology Language - OWL Parser for [SWI] Prolog.

/Vangelis Vassiliadis
SemanticWeb.gr
Greece
E-mail:vangelis@semanticweb.gr/

 

*Thea <http://www.semanticweb.gr/TheaOWLParser/index.html>* is a Prolog 
implementation of an OWL parser. Thea 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 is a project of SemanticWeb.gr <http://www.semanticweb.gr/> and is 
available under the GNU/GPL license.
Current version of Thea OWL parser (v 0.3) released March 22, 2005.

Thea has been tested extensively against the OWL test cases and for 
almost all cases it generates the correct syntactic constructs.
Known issues and limitations:

-         Thea v.0.3 is not a reasoner: it does not make any inferences 
nor it checks the consistency of the resulted OWL ontology.
-         Thea parses all 'versions' of OWL ontologies (Full/DL/Lite) 
but does it is not currently a 'species' validator.
-         No support for the owl:import directive: any 'imported' 
ontology is not parsed automatically.
-         There is limited datatype support (SWI Prolog RDF parser's 
current implementation has no provisions for XML-Schema typed literals).
-         The owl:equivalentProperty axiom is not supported.
-         The value of an individual is not tested for structure sharing.

 
*Downloads*

    Thea OWL Parser for SWI Prolog library
    <http://www.semanticweb.gr/downloads/owl_parser.pl>
    Documentation
    <http://www.semanticweb.gr/downloads/Thea%20OWL%20Parser.doc>

Please send me <mailto:vangelis@semanticweb.gr> any comments and 
suggestions.
 

Vangelis.

 

****