org.semanticweb.owlapi

Class ConvertSuperClassesToEquivalentClass

java.lang.Object

org.semanticweb.owlapi.AbstractCompositeOntologyChange

org.semanticweb.owlapi.ConvertSuperClassesToEquivalentClass

All Implemented Interfaces:

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.

Author:

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

Constructor Summary

Constructors

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

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

ConvertSuperClassesToEquivalentClass

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

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

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.