org.semanticweb.owlapi

Class MakePrimitiveSubClassesMutuallyDisjoint

java.lang.Object

org.semanticweb.owlapi.AbstractCompositeOntologyChange

org.semanticweb.owlapi.MakePrimitiveSubClassesMutuallyDisjoint

All Implemented Interfaces:

OWLCompositeOntologyChange

public class MakePrimitiveSubClassesMutuallyDisjoint
extends AbstractCompositeOntologyChange

For a given class, this composite change makes its told primitive subclasses mutually disjoint. For example, if B, C, and D are primitive subclasses of A then this composite change will make B, C, and D mutually disjoint.
More formally, for a given class, A, and a set of ontologies, S, this method will obtain a set of classes, G, where all classes in G are named and primitive. Moreover, for any class, B in G, some ontology O in S will contain an axiom, SubClassOf(B, A). All classes in G will be made mutually disjoint by creating axiom(s) in a target ontology T.
This composite change supports a common design pattern where primitive subclasses of a class are made mutually disjoint.

Author:

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

Constructor Summary

Constructors

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

Method Summary

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

MakePrimitiveSubClassesMutuallyDisjoint

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

Parameters:

dataFactory - the datafactory to use

cls - the class to convert

ontologies - the ontologies to work on

targetOntology - the target ontology

MakePrimitiveSubClassesMutuallyDisjoint

public MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
                                               OWLClass cls,
                                               Set<OWLOntology> ontologies,
                                               OWLOntology targetOntology,
                                               boolean usePairwiseDisjointAxioms)

Parameters:

dataFactory - the datafactory to use

cls - the class to convert

ontologies - the ontologies to work on

targetOntology - the target ontology

usePairwiseDisjointAxioms - true if pairwise disjoint axioms should be used

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.