cz.vse.keg.patomat2.transformation
public interface OntologyTransformation<O>
Modifier and Type | Interface and Description |
---|---|
static class |
OntologyTransformation.TransformationStrategy |
Modifier and Type | Method and Description |
---|---|
void |
adjustOWLProfile() |
void |
finish() |
java.lang.String |
getBaseURI(java.lang.String namespace) |
java.lang.String |
getDictionaryPath() |
org.semanticweb.owlapi.model.OWLOntologyManager |
getManager() |
java.lang.String |
getModelsPath() |
O |
getOntology() |
void |
preprocessOntology() |
java.lang.String |
printOntology() |
void |
saveOntology(java.lang.String url) |
void |
setInstructions(java.lang.String instructions) |
void |
setOntology(O o) |
O |
transformOntology(OntologyTransformation.TransformationStrategy ts,
boolean addAnnotationsForRemovedAxioms) |
boolean |
willTransformOntology() |
O transformOntology(OntologyTransformation.TransformationStrategy ts, boolean addAnnotationsForRemovedAxioms)
void adjustOWLProfile()
void preprocessOntology()
void setOntology(O o)
void finish()
O getOntology()
org.semanticweb.owlapi.model.OWLOntologyManager getManager()
void setInstructions(java.lang.String instructions)
void saveOntology(java.lang.String url)
java.lang.String printOntology()
java.lang.String getDictionaryPath()
java.lang.String getModelsPath()
boolean willTransformOntology()
java.lang.String getBaseURI(java.lang.String namespace)