Package org.semanticweb.owlapi.change

@ParametersAreNonnullByDefault package org.semanticweb.owlapi.change

Ontology change classes.

Class	Description
AbstractCompositeOntologyChange
AddAxiomData	Represents the specific non-ontology data required by an AddAxiom change.
AddClassExpressionClosureAxiom	This composite change adds a 'closure' axiom to an ontology for a given class and object property.
AddImportData	Represents the specific non-ontology data required by an AddImport change.
AddOntologyAnnotationData	Represents the specific non-ontology data required by an AddOntologyAnnotation change.
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.
AxiomChangeData	Represent the common non-ontology data required by instances of OWLAxiomChange.
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. More formally, for a given class A, a set of ontologies S, and a target ontology T, this composite change will remove all equivalent axioms from each ontology O in S where the equivalent class axiom contains A as a 'top level' class (e.g.
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 partitiion - see "pattern 2" in "Representing Specified Values in OWL: "value partitions" and "value sets"" (http://www.w3.org/TR/swbp-specified-values.) A value partition is an ontology design pattern which is used to represent a set of closed values for a particular property.
ImportChangeData	Instances of this class represent OWLOntologyChangeData for changes that that are specific to the addition or removal of import statements to/from an ontology.
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.
OntologyAnnotationChangeData	Represents the specific non-ontology data required by an AddOntologyAnnotation change.
OWLCompositeOntologyChange	A composite ontology change encapsulates a list of ontology changes, which should be applied as a logical unit.
OWLOntologyChangeData	Represents an abstraction of the essential non-ontology data required by a particular kind of OWLOntologyChange.
OWLOntologyChangeDataVisitor<R>
OWLOntologyChangeRecord	Associates an OWLOntologyID with ontology-less change data. An OWLOntologyChangeRecord captures information about an OWLOntologyChange in a way that does not require a reference to an OWLOntology object.
RemoveAllDisjointAxioms	Given a set of ontologies, this composite change will remove all disjoint classes axioms from these ontologies.
RemoveAxiomData	Represents the specific non-ontology data required by an RemoveAxiom change.
RemoveImportData	Represents the specific non-ontology data required by a RemoveImport change.
RemoveOntologyAnnotationData	Represents the specific non-ontology data required by a RemoveOntologyAnnotation change.
SetOntologyIDData	Represents the specific non-ontology data required by a SetOntologyID change.
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 (conjunction) with multiple subclass axioms - one for each conjunct.