log OPPL/Tool.java @ 8:40adbcb2a7cc

age author description
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