Uses of Interface
org.semanticweb.owlapi.OWLCompositeOntologyChange

Packages that use OWLCompositeOntologyChange

Package	Description
org.semanticweb.owlapi

Uses of OWLCompositeOntologyChange in org.semanticweb.owlapi

Classes in org.semanticweb.owlapi that implement OWLCompositeOntologyChange

Modifier and Type	Class and Description
class	AbstractCompositeOntologyChange Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 23-Jul-2007
class	AddClassExpressionClosureAxiom Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Jul-2007 This composite change adds a 'closure' axiom to an ontology for a given class and object property.
class	AmalgamateSubClassAxioms Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 15-Aug-2007 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.
class	CoerceConstantsIntoDataPropertyRange Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 13-Aug-2007 Coerces constants to have the same type as the range of a property in axioms where the two are used.
class	ConvertEquivalentClassesToSuperClasses Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 23-Jul-2007 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.
class	ConvertPropertyAssertionsToAnnotations Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 23-Jul-2007 Given a set of ontologies, this composite change will convert all property assertion axioms whose subject is a 'punned' individual (i.e.
class	ConvertSuperClassesToEquivalentClass Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 23-Jul-2007 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.
class	CreateValuePartition Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 23-Jul-2007 This composite change will create a value partion - 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.
class	MakeClassesMutuallyDisjoint Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Jul-2007 Given a set of class expressions, this composite change will make them mutually disjoint.
class	MakePrimitiveSubClassesMutuallyDisjoint 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.
class	RemoveAllDisjointAxioms Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Jul-2007 Given a set of ontologies, this composite change will remove all disjoint classes axioms from these ontologies.
class	ShortForm2AnnotationGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 15-Feb-2008
class	SplitSubClassAxioms Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 15-Aug-2007 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.