org.semanticweb.owlapi.change

Class MakePrimitiveSubClassesMutuallyDisjoint

java.lang.Object

org.semanticweb.owlapi.change.AbstractCompositeOntologyChange

org.semanticweb.owlapi.change.MakePrimitiveSubClassesMutuallyDisjoint

All Implemented Interfaces:

Serializable, 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.

Since:

2.1.0

Author:

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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory, OWLClass cls, OWLOntology targetOntology) Instantiates a new make primitive sub classes mutually disjoint.
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory, OWLClass cls, OWLOntology targetOntology, boolean usePairwiseDisjointAxioms) Instantiates a new make primitive sub classes mutually disjoint.

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

MakePrimitiveSubClassesMutuallyDisjoint

public MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
                                               OWLClass cls,
                                               OWLOntology targetOntology)

Instantiates a new make primitive sub classes mutually disjoint.

Parameters:

dataFactory - the datafactory to use

cls - the class to convert

targetOntology - the target ontology

MakePrimitiveSubClassesMutuallyDisjoint

public MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
                                               OWLClass cls,
                                               OWLOntology targetOntology,
                                               boolean usePairwiseDisjointAxioms)

Instantiates a new make primitive sub classes mutually disjoint.

Parameters:

dataFactory - the datafactory to use

cls - the class to convert

targetOntology - the target ontology

usePairwiseDisjointAxioms - true if pairwise disjoint axioms should be used