Interface | Description |
---|---|
OWLCompositeOntologyChange |
A composite ontology change encapsulates a list of ontology changes, which
should be applied as a logical unit.
|
OWLOntologyChangeDataVisitor<R,E extends Exception> |
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 partition - 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. |
OWLOntologyChangeData |
Represents an abstraction of the essential non-ontology data required by a
particular kind of
OWLOntologyChange . |
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.
|
Copyright © 2020 The University of Manchester. All rights reserved.