org.semanticweb.owlapi

Class SplitSubClassAxioms

java.lang.Object

org.semanticweb.owlapi.AbstractCompositeOntologyChange

org.semanticweb.owlapi.SplitSubClassAxioms

All Implemented Interfaces:

OWLCompositeOntologyChange

public class SplitSubClassAxioms
extends AbstractCompositeOntologyChange

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.

Author:

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

Constructor Summary

Constructors

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

Method Summary

Methods

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

SplitSubClassAxioms

public SplitSubClassAxioms(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 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.