org.semanticweb.owlapi

Class ConvertEquivalentClassesToSuperClasses

java.lang.Object

org.semanticweb.owlapi.AbstractCompositeOntologyChange

org.semanticweb.owlapi.ConvertEquivalentClassesToSuperClasses

All Implemented Interfaces:

OWLCompositeOntologyChange

public class ConvertEquivalentClassesToSuperClasses
extends AbstractCompositeOntologyChange

This composite change will convert a defined class to a primitive class by replacing equivalent classes axioms where the class in question is a class in the equivalent classes axioms to a set of subclass axioms whose superclasses are the set of classes which were originally equivalent to the class in question.
More formally, for a given class A, a set of ontologies S, and a target ontology T, this composite change will remove all equivalent axioms from each ontology O in S where the equivalent class axiom contains A as a 'top level' class (e.g. EquivalentClasses(A, C, D)). For each class, D, that was made equivalent to A via an equivalent classes axiom, a subclass axiom SubClassOf(A, D) will be added to the target ontology T.
This change supports a common pattern of working, where a class is converted from a defined class to a primitive class.

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 23-Jul-2007

Constructor Summary

Constructors

Constructor and Description
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory, OWLClass cls, Set<OWLOntology> ontologies, OWLOntology targetOntology, boolean splitIntersections)

Method Summary

Modifier and Type	Method and Description
List<OWLOntologyChange>	getChanges() Gets the changes which compose this composite change.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConvertEquivalentClassesToSuperClasses

public ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
                                              OWLClass cls,
                                              Set<OWLOntology> ontologies,
                                              OWLOntology targetOntology,
                                              boolean splitIntersections)

Parameters:

ontologies - the ontologies to use

dataFactory - the data factory

cls - the class to convert

targetOntology - the target ontology

splitIntersections - whether or not intersections should be split

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.