public class MakeClassesMutuallyDisjoint extends AbstractCompositeOntologyChange
|Constructor and Description|
Creates a composite change which makes a set of classes mutually disjoint.
public MakeClassesMutuallyDisjoint(@Nonnull OWLDataFactory dataFactory, @Nonnull Set<? extends OWLClassExpression> classExpressions, boolean usePairwiseDisjointAxioms, @Nonnull OWLOntology targetOntology)
dataFactory- The data factory which should be used for creating the axioms
classExpressions- The class expressions which should be made mutually disjoint.
usePairwiseDisjointAxioms- the use pairwise disjoint axioms
targetOntology- The target ontology which the changes will be applied to.
trueif multiple disjoint classes axioms should be used to make the class expressions pairwise disjoint (for backwards compatibility with OWL 1.0), or
falseif one disjoint classes axiom should be used (preferred OWL 1.1 method).
Copyright © 2018 The University of Manchester. All rights reserved.