Merge branch 'develop' into 'master'

dmnverifierapi/README.md

dmnverifierapi/pom.xml

...i/src/main/java/de/unikoblenz/fgbks/api/Verification.java

...n/java/de/unikoblenz/fgbks/api/test/GreetingResource.java

...i/src/main/java/de/unikoblenz/fgbks/api/test/TestApi.java

...in/java/de/unikoblenz/fgbks/api/test/WordnetServiceX.java

...nikoblenz/fgbks/base/utils/boundary/AbstractBoundary.java

...nz/fgbks/base/utils/boundary/AbstractGrowingBoundary.java

...e/unikoblenz/fgbks/base/utils/boundary/BoundaryUtils.java

.../base/utils/boundary/bicreater/BiCreaterStringAppend.java

...base/utils/boundary/bicreater/BiCreaterStringBetween.java

...base/utils/boundary/bicreater/BiCreaterStringCombine.java

...utils/boundary/bicreater/BiCreaterStringIntersection.java

.../utils/boundary/bicreater/BiCreaterStringLowerBounds.java

.../utils/boundary/bicreater/BiCreaterStringUpperBounds.java

...z/fgbks/base/utils/boundary/checker/CheckStringEqual.java

...bks/base/utils/boundary/checker/CheckStringInContact.java

...gbks/base/utils/boundary/checker/CheckStringSubsumes.java

...fgbks/base/utils/boundary/creater/CreaterStringLower.java

...fgbks/base/utils/boundary/creater/CreaterStringUpper.java