org.semanticweb.owlapi
Class MakePrimitiveSubClassesMutuallyDisjoint

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

All Implemented Interfaces:

OWLCompositeOntologyChange

public class MakePrimitiveSubClassesMutuallyDisjoint
extends AbstractCompositeOntologyChange

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

For a given class, this composite change makes its told primitive subclasses mutually disjoint. For example, if B, C, and D are primitive subclasses of A then this composite change will make B, C, and D mutually disjoint.

More formally, for a given class, A, and a set of ontologies, S, this method will obtain a set of classes, G, where all classes in G are named and primitive. Moreover, for any class, B in G, some ontology O in S will contain an axiom, SubClassOf(B, A). All classes in G will be made mutually disjoint by creating axiom(s) in a target ontology T.

This composite change supports a common design pattern where primitive subclasses of a class are made mutually disjoint.

Constructor Summary

MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory, OWLClass cls, java.util.Set<OWLOntology> ontologies, OWLOntology targetOntology)

MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory, OWLClass cls, java.util.Set<OWLOntology> ontologies, OWLOntology targetOntology, boolean usePairwiseDisjointAxioms)

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

MakePrimitiveSubClassesMutuallyDisjoint

public MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
                                               OWLClass cls,
                                               java.util.Set<OWLOntology> ontologies,
                                               OWLOntology targetOntology)

MakePrimitiveSubClassesMutuallyDisjoint

public MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
                                               OWLClass cls,
                                               java.util.Set<OWLOntology> ontologies,
                                               OWLOntology targetOntology,
                                               boolean usePairwiseDisjointAxioms)

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.