Ticket #592 (closed task: invalid)

Opened 17 months ago

Last modified 16 months ago

Add support for Jena to Hets

Reported by: luecke Owned by: luecke
Priority: normal Milestone: 1.0
Component: provers Version: 0.87
Keywords: Cc:

Description

Add support for the Jena http://jena.sourceforge.net/ framework to Hets and connect Pellet to it.

Change History

Changed 17 months ago by luecke

  • type changed from bug to task

Changed 16 months ago by luecke

  • status changed from new to closed
  • resolution set to invalid
Note: See TracTickets for help on using tickets.