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

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

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.

Constructor Summary

Constructors

Constructor and Description
MakePrimitiveSubClassesMutuallyDisjoint(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, org.semanticweb.owlapi.model.OWLClass cls, Set<org.semanticweb.owlapi.model.OWLOntology> ontologies, org.semanticweb.owlapi.model.OWLOntology targetOntology)
MakePrimitiveSubClassesMutuallyDisjoint(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, org.semanticweb.owlapi.model.OWLClass cls, Set<org.semanticweb.owlapi.model.OWLOntology> ontologies, org.semanticweb.owlapi.model.OWLOntology targetOntology, boolean usePairwiseDisjointAxioms)

Method Summary

Methods

Modifier and Type	Method and Description
List<org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
                                       org.semanticweb.owlapi.model.OWLClass cls,
                                       Set<org.semanticweb.owlapi.model.OWLOntology> ontologies,
                                       org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
                                       org.semanticweb.owlapi.model.OWLClass cls,
                                       Set<org.semanticweb.owlapi.model.OWLOntology> ontologies,
                                       org.semanticweb.owlapi.model.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<org.semanticweb.owlapi.model.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.