log OPPL/README @ 5:68935f90c2db

age author description
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