test.properties

# imported ontologies divided by commas
IMPORTS: ../../OdTMBaseThreatModel.owl
# ontology, against which reasoning should be performed
MODEL: ../../tests/example/Example.owl
# folder where appliedAxioms & expectedAxioms should be
FOLDER: ../../tests/example/