Scowl expressions use and return native OWL API objects
Add some axioms and programmatically generated GCIs to an ontology
Using pattern matching extractors to implement negation normal form