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
|
Wed, 07 Sep 2011 10:46:29 +0200 |
Mikel Egaña Aranguren |
Version 1.0.1
|
Tue, 06 Sep 2011 14:53:59 -0400 |
mikel-egana-aranguren |
First commit (1.0.0)
|