log OPPL/README @ 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