org.semanticweb.owlapi
Class SplitSubClassAxioms

java.lang.Object
  extended by org.semanticweb.owlapi.AbstractCompositeOntologyChange
      extended by org.semanticweb.owlapi.SplitSubClassAxioms
All Implemented Interfaces:
OWLCompositeOntologyChange

public class SplitSubClassAxioms
extends AbstractCompositeOntologyChange

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Aug-2007

Given a set of ontologies, this composite change will replace all subclass axioms in each ontology, whose super class is an object intersection (conjuction) with multiple subclass axioms - one for each conjunct. For example, A subClassOf (B and C), would be replaced with two subclass axioms, A subClassOf B, and A subClassOf C.


Constructor Summary
SplitSubClassAxioms(java.util.Set<OWLOntology> ontologies, OWLDataFactory dataFactory)
          Creates a composite change to split subclass axioms into multiple more fine grained subclass axioms.
 
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

SplitSubClassAxioms

public SplitSubClassAxioms(java.util.Set<OWLOntology> ontologies,
                           OWLDataFactory dataFactory)
Creates a composite change to split subclass axioms into multiple more fine grained subclass axioms.

Parameters:
ontologies - The ontologies whose subclass axioms should be processed.
dataFactory - The data factory which should be used to create new axioms.
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.