log OPPL/test.owl @ 7:756f1f5798bf

age author description
Wed, 14 Sep 2011 19:52:06 +0200 Mikel EgaƱa Aranguren Added option to push inferred subsumption axioms into output ontology
Tue, 06 Sep 2011 14:53:59 -0400 mikel-egana-aranguren First commit (1.0.0)