log

age author description
Thu, 20 Sep 2012 12:46:36 +0200 Mikel Egana Aranguren Elk support added draft
Mon, 20 Aug 2012 11:39:56 +0200 Mikel Egana Aranguren New tool added for merging imported ontologies (GalaxyOWLAPI and README changed and test ontologies added accordingly). Memory settings changed in all the tools XML files draft
Thu, 02 Aug 2012 09:22:57 +0200 Mikel Egana Aranguren Source for OPPL query fixed draft
Thu, 12 Jul 2012 17:12:00 +0200 Mikel Egana Aranguren Add new tool to perform OPPL queries draft
Sat, 31 Mar 2012 12:54:09 +0200 Mikel Egaña Aranguren XML files changed for more flexible inputs (oppl, query and inference)
Thu, 29 Mar 2012 14:49:22 +0200 Mikel Egaña Aranguren New query tool added
Thu, 22 Mar 2012 14:37:46 +0100 Mikel Egaña Aranguren XML file improved for consistency
Fri, 09 Mar 2012 16:15:27 +0100 Mikel Egaña Aranguren Imports simplified, new tool for inference added
Thu, 12 Jan 2012 10:20:00 +0100 Mikel Egaña Aranguren Interface improved
Tue, 18 Oct 2011 10:30:16 +0200 Mikel Egaña Aranguren Interface improved (Imports first) and proper handling of import/merge options added
Tue, 11 Oct 2011 11:09:52 +0200 Mikel Egaña Aranguren Added merge function and FaCT++ support. Improved OBO render
Sun, 18 Sep 2011 12:57:22 +0200 Mikel Egaña Aranguren Added (Properly) reasoner option (Pellet or HermiT)
Sun, 18 Sep 2011 12:35:18 +0200 Mikel Egaña Aranguren Added reasoner option: Pellet or HermiT
Sat, 17 Sep 2011 13:41:28 +0200 Mikel Egaña Aranguren Added OWL imports closure
Wed, 14 Sep 2011 19:52:06 +0200 Mikel Egaña Aranguren Added option to push inferred subsumption axioms into output ontology