log

age author description
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
Wed, 07 Sep 2011 10:46:29 +0200 Mikel Egaña Aranguren Version 1.0.1
Tue, 06 Sep 2011 14:55:49 -0400 mikel-egana-aranguren Deleted selected files