Mercurial > repos > mikel-egana-aranguren > oppl
graph
-
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 draftMon, 20 Aug 2012 11:39:56 +0200, by Mikel Egana Aranguren
-
Add new tool to perform OPPL queries draftThu, 12 Jul 2012 17:12:00 +0200, by Mikel Egana Aranguren
-
XML files changed for more flexible inputs (oppl, query and inference)Sat, 31 Mar 2012 12:54:09 +0200, by Mikel Egaña Aranguren
-
New query tool addedThu, 29 Mar 2012 14:49:22 +0200, by Mikel Egaña Aranguren
-
XML file improved for consistencyThu, 22 Mar 2012 14:37:46 +0100, by Mikel Egaña Aranguren
-
Imports simplified, new tool for inference addedFri, 09 Mar 2012 16:15:27 +0100, by Mikel Egaña Aranguren
-
Interface improvedThu, 12 Jan 2012 10:20:00 +0100, by Mikel Egaña Aranguren
-
Interface improved (Imports first) and proper handling of import/merge options addedTue, 18 Oct 2011 10:30:16 +0200, by Mikel Egaña Aranguren
-
Added merge function and FaCT++ support. Improved OBO renderTue, 11 Oct 2011 11:09:52 +0200, by Mikel Egaña Aranguren
-
Added (Properly) reasoner option (Pellet or HermiT)Sun, 18 Sep 2011 12:57:22 +0200, by Mikel Egaña Aranguren
-
Added reasoner option: Pellet or HermiTSun, 18 Sep 2011 12:35:18 +0200, by Mikel Egaña Aranguren
-
Added OWL imports closureSat, 17 Sep 2011 13:41:28 +0200, by Mikel Egaña Aranguren
-
Added option to push inferred subsumption axioms into output ontologyWed, 14 Sep 2011 19:52:06 +0200, by Mikel Egaña Aranguren