Thea - reading OWL2 directly from Prolog

Talking about BLIPKIT, the Thea library - for reading OWL2 ontologies directly from within SWI-Prolog - seems relevant for this project, as a complement to BLIPKIT. It's written (partly) by the author of BLIPKIT.

Some features I noted:

  • SWRL support (SWRL - Semantic Web Rule Language . is a proposed W3C standard for exchange between rule languages on the web)
  • Bridge to the java OWL API
  • translation of ontologies to Description Logic programs

Comments

Ah, now i see that 'thea' is

Ah, now i see that 'thea' is actually listed as a dependency for BLIPKIT.