org.semanticweb.owl
Class MakePrimitiveSubClassesMutuallyDisjoint

java.lang.Object
  extended by org.semanticweb.owl.AbstractCompositeOntologyChange
      extended by org.semanticweb.owl.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.owl.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.