org.semanticweb.owlapi
Class MakeClassesMutuallyDisjoint

java.lang.Object
  org.semanticweb.owlapi.AbstractCompositeOntologyChange
      org.semanticweb.owlapi.MakeClassesMutuallyDisjoint

All Implemented Interfaces:

OWLCompositeOntologyChange

public class MakeClassesMutuallyDisjoint
extends AbstractCompositeOntologyChange

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Jul-2007

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).

Constructor Summary

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

Method Summary

java.util.List<OWLOntologyChange>

getChanges() Gets the changes which compose this composite change.

Methods inherited from class org.semanticweb.owlapi.AbstractCompositeOntologyChange

getDataFactory

Methods inherited from class java.lang.Object

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

Constructor Detail

MakeClassesMutuallyDisjoint

public MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory,
                                   java.util.Set<? 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 - 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).

targetOntology - The target ontology which the changes will be applied to.

Method Detail

getChanges

public java.util.List<OWLOntologyChange> getChanges()

Description copied from interface: OWLCompositeOntologyChange

Gets the changes which compose this composite change. Once this method has been invoked, it will always return the same list of changes.

Returns:

A list of ontology changes.