modify OWLManager to filter out triples that already exist in the
concrete ontology when writing inferred triples to repository. Uses
custom RDFInserter class.
alter constants to match reduced inferred triple counts (after removing
duplicates during inferStatements())
fix test, it is now necessary to write concrete triples to repository
before calling inferStatements()