Package org.semanticweb.owlapi.change

Class MakeClassesMutuallyDisjoint

java.lang.Object

org.semanticweb.owlapi.change.AbstractCompositeOntologyChange

org.semanticweb.owlapi.change.MakeClassesMutuallyDisjoint

All Implemented Interfaces:

Serializable, OWLCompositeOntologyChange

public class MakeClassesMutuallyDisjoint
extends AbstractCompositeOntologyChange

Given a set of class expressions, this composite change will make them mutually disjoint. The composite change offers the option of using one disjoint classes axiom to do this or using multiple disjoint classes axioms to make them pairwise disjoint (for backwards compatibility with OWL 1.0).

Since:

2.1.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory, Collection<? extends OWLClassExpression> classExpressions, boolean usePairwiseDisjointAxioms, OWLOntology targetOntology)	Creates a composite change which makes a set of classes mutually disjoint.

Method Summary

Methods inherited from class org.semanticweb.owlapi.change.AbstractCompositeOntologyChange

getChanges

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MakeClassesMutuallyDisjoint

public MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory,
 Collection<? extends OWLClassExpression> classExpressions,
 boolean usePairwiseDisjointAxioms,
 OWLOntology targetOntology)

Creates a composite change which makes a set of classes mutually disjoint.

Parameters:

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. true if multiple disjoint classes axioms should be used to make the class expressions pairwise disjoint (for backwards compatibility with OWL 1.0), or false if one disjoint classes axiom should be used (preferred OWL 1.1 method).