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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
List<org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
                           Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> classExpressions,
                           boolean usePairwiseDisjointAxioms,
                           org.semanticweb.owlapi.model.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<org.semanticweb.owlapi.model.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.