cz.vse.keg.patomat2.usecase.logicalreasoning
public class OWL2RLProfileTransformation extends java.lang.Object
Constructor and Description |
---|
OWL2RLProfileTransformation(java.lang.String ontology) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
detectForbiddenAxioms(boolean remove) |
static void |
main(java.lang.String[] args) |
void |
runTransformationToOWL2RLProfile() |