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

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

Author:

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
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,
                                   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 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.