Merge branch 'develop' into 'master'

dmn-verifier-app/pom.xml

.../unikoblenz/fgbks/dmn/core/models/VerificationResult.java

...ava/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java

...e/unikoblenz/fgbks/dmn/core/verifier/EquivalentRules.java

...de/unikoblenz/fgbks/dmn/core/verifier/IdenticalRules.java

.../unikoblenz/fgbks/dmn/core/verifier/SubsumptionRules.java

...e/unikoblenz/fgbks/dmn/core/verifier/helper/Boundary.java

...de/unikoblenz/fgbks/dmn/core/verifier/helper/RuleMap.java

...gbks/dmn/core/verifier/helper/wordnet/WordnetService.java

dmn-verifier-app/src/main/resources/dict/adj.exc

dmn-verifier-app/src/main/resources/dict/adv.exc

dmn-verifier-app/src/main/resources/dict/cntlist

dmn-verifier-app/src/main/resources/dict/cntlist.rev

dmn-verifier-app/src/main/resources/dict/cousin.exc

dmn-verifier-app/src/main/resources/dict/data.adj

dmn-verifier-app/src/main/resources/dict/data.adv

dmn-verifier-app/src/main/resources/dict/data.noun

dmn-verifier-app/src/main/resources/dict/data.verb

dmn-verifier-app/src/main/resources/dict/dbfiles/adj.all

dmn-verifier-app/src/main/resources/dict/dbfiles/adj.pert