Fix MergeOperation backwards compatibility
@@ -117,6 +117,23 @@ public class MergeOperation {
mergeInto(ontologies, targetOntology, includeAnnotations, false);
}
+ /**
+ * Given a source ontology and a target ontology, add all the axioms from the source ontology and
+ * its import closure into the target ontology. The target ontology is not itself merged, so any
+ * of its imports remain distinct.
+ *
+ * @param ontology the source ontology to merge
+ * @param targetOntology the ontology to merge axioms into
+ * @param includeAnnotations true if ontology annotations should be merged; annotations on imports
+ * are not merged
+ */
+ public static void mergeInto(
+ OWLOntology ontology, OWLOntology targetOntology, boolean includeAnnotations) {
+ List<OWLOntology> ontologies = new ArrayList<OWLOntology>();
+ ontologies.add(ontology);
+ mergeInto(ontologies, targetOntology, includeAnnotations);
+ }
+
/**
* Given a source ontology and a target ontology, add all the axioms from the source ontology into
* the target ontology. Optionally, include annotations from the source and/or collapse the
