Merge branch 'develop' into 'master'

...java/de/unikoblenz/fgbks/base/wordnet/WordnetService.java

...a/de/unikoblenz/fgbks/dmn/core/models/RuleIdentifier.java

.../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

...a/de/unikoblenz/fgbks/dmn/core/verifier/MissingRules.java

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

...oblenz/fgbks/dmn/core/verifier/PartialReductionRules.java

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

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

dmn-verifier-app/src/main/webapp/index.xhtml

dmn-verifier-app/src/main/webapp/js/dmnViewer.js

...verifier-app/src/main/webapp/resources/css/stylesheet.css