- All Implemented Interfaces:
public class ConvertEquivalentClassesToSuperClasses
- extends AbstractCompositeOntologyChange
Author: Matthew Horridge
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.
The University Of Manchester
Bio-Health Informatics Group
|Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
public java.util.List<OWLOntologyChange> getChanges()
- Description copied from interface:
- Gets the changes which compose this composite change. Once this method
has been invoked, it will always return the same list of changes.
- A list of ontology changes.