added wavellite ontologies version 1.1.0; includes PROV-O and some alignment axioms