public class StructuralTransformation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected OWLDataFactory |
df |
protected java.util.Set<OWLEntity> |
signature |
Constructor and Description |
---|
StructuralTransformation(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
protected OWLClass |
createNewName() |
java.util.Set<OWLAxiom> |
getTransformedAxioms(java.util.Set<OWLAxiom> axioms) |
protected final OWLDataFactory df
protected final java.util.Set<OWLEntity> signature
public StructuralTransformation(OWLDataFactory dataFactory)
dataFactory
- factory to use