ykazakov/aboxer

A utility for converting axioms in OWL ontologies to assertions

Java