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)
|