log OPPL/test.owl @ 4:4f60202c58d9

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)