Mercurial > repos > mikel-egana-aranguren > oppl
log OPPL/Tool.java @ 7:756f1f5798bf
age | author | description |
---|---|---|
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 |