Package | Description |
---|---|
org.semanticweb.owlapi.change |
Ontology change classes.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractCompositeOntologyChange |
class |
AddClassExpressionClosureAxiom
This composite change adds a 'closure' axiom to an ontology for a given class
and object property.
|
class |
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.
|
class |
CoerceConstantsIntoDataPropertyRange
Coerces constants to have the same type as the range of a property in axioms where the two are
used.
|
class |
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. |
class |
ConvertPropertyAssertionsToAnnotations
Given a set of ontologies, this composite change will convert all property
assertion axioms whose subject is a 'punned' individual (i.e.
|
class |
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.
|
class |
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. |
class |
MakeClassesMutuallyDisjoint
Given a set of class expressions, this composite change will make them
mutually disjoint.
|
class |
MakePrimitiveSubClassesMutuallyDisjoint
For a given class, this composite change makes its told primitive subclasses
mutually disjoint.
|
class |
RemoveAllDisjointAxioms
Given a set of ontologies, this composite change will remove all disjoint
classes axioms from these ontologies.
|
class |
ShortForm2AnnotationGenerator |
class |
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.