Package org.semanticweb.owlapi.change

Class ConvertSuperClassesToEquivalentClass

java.lang.Object

org.semanticweb.owlapi.change.AbstractCompositeOntologyChange

org.semanticweb.owlapi.change.ConvertSuperClassesToEquivalentClass

All Implemented Interfaces:

Serializable, OWLCompositeOntologyChange

public class ConvertSuperClassesToEquivalentClass
extends AbstractCompositeOntologyChange

This composite change will convert a primitive class to a defined class by replacing subclass axioms where the class in question is on the left hand side of the subclass axiom to an equivalent classes axiom which makes the class equivalent to the intersection of its superclasses.
More formally, given a class A, a set of ontologies S, and a target targetOntology T, for each targetOntology O in S, subclass axioms whose LHS is A will be removed from O. The superclasses from these axioms will be combined into an intersection class which will be made equivalent to A using an equivalent classes axioms E. E will be added to the target targetOntology T.
This composite change supports the pattern of working where a primitive class is converted to a defined class - functionality which is usually found in editors.

Since:

2.1.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory, OWLClass cls, Set<OWLOntology> ontologies, OWLOntology targetOntology)	Instantiates a new convert super classes to equivalent class.

Method Summary

Methods inherited from class org.semanticweb.owlapi.change.AbstractCompositeOntologyChange

getChanges

Methods inherited from class java.lang.Object

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

Constructor Detail

ConvertSuperClassesToEquivalentClass

public ConvertSuperClassesToEquivalentClass(@Nonnull
                                            OWLDataFactory dataFactory,
                                            @Nonnull
                                            OWLClass cls,
                                            @Nonnull
                                            Set<OWLOntology> ontologies,
                                            @Nonnull
                                            OWLOntology targetOntology)

Instantiates a new convert super classes to equivalent class.

Parameters:

dataFactory - A data factory which can be used to create the appropriate axioms

cls - The class whose superclasses will be converted to an equivalent class.

ontologies - The ontologies which should be examined for subclass axioms.

targetOntology - The targetOntology which the equivalent classes axiom should be added to