log

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