Interface  Description 

OWLCompositeOntologyChange 
A composite ontology change encapsulates a list of ontology changes, which
should be applied as a logical unit.

Class  Description 

AbstractCompositeOntologyChange  
AddClassExpressionClosureAxiom 
This composite change adds a 'closure' axiom to an ontology for a given class
and object property.

AmalgamateSubClassAxioms 
Given a set of ontologies S, for each ontology, O, in S, this change combines
multiple subclass axioms with a common left hand side into one subclass
axiom.

CoerceConstantsIntoDataPropertyRange 
Coerces constants to have the same type as the range of a property in axioms
where the two are used.

ConvertEquivalentClassesToSuperClasses 
This composite change will convert a defined class to a primitive class by
replacing equivalent classes axioms where the class in question is a class in
the equivalent classes axioms to a set of subclass axioms whose superclasses
are the set of classes which were originally equivalent to the class in
question.

ConvertPropertyAssertionsToAnnotations 
Given a set of ontologies, this composite change will convert all property
assertion axioms whose subject is a 'punned' individual (i.e.

ConvertSuperClassesToEquivalentClass 
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.

CreateValuePartition 
This composite change will create a value partion  see "pattern 2" in
"Representing Specified Values in OWL: "value partitions" and "value sets""
(http:/** A value partition is an ontology design pattern which is used to
represent a set of closed values for a particular property.

MakeClassesMutuallyDisjoint 
Given a set of class expressions, this composite change will make them
mutually disjoint.

MakePrimitiveSubClassesMutuallyDisjoint 
For a given class, this composite change makes its told primitive subclasses
mutually disjoint.

RemoveAllDisjointAxioms 
Given a set of ontologies, this composite change will remove all disjoint
classes axioms from these ontologies.

ShortForm2AnnotationGenerator  
SplitSubClassAxioms 
Given a set of ontologies, this composite change will replace all subclass
axioms in each ontology, whose super class is an object intersection
(conjuction) with multiple subclass axioms  one for each conjunct.

Copyright © 2017 The University of Manchester. All Rights Reserved.