added ability to merge ontologies in the sm ctor

When supplying an array of ontologies to the sm constructor, they are
merged into a new ontology that provides a model with all of the terms
and all of the rules and all of the activators.