start working on the inconsistency checking
interfaces for disjoint axioms
Extend API with disjoint Axioms, corressponding translator, and consistency checking
Merge branch 'develop' into feature/consistency-checking
test case for inconsistency checking
fix experssion evaluator for neq(uri(var), uri(var))
fix cosistency checking test
fix functional property filter neq
Java 7
fix the url of travis-ci badge
Changing index to columnName in the calls to lookupTable.add in
MappingAnalyzer::createLookupTable. This makes the lookup table add an
"alternative" name instead of overwriting the name.
Some fixes in MappingAnalyzer::createLookupTable to make correct use of
the lookup table and alternative names
Merge remote-tracking branch 'origin/develop' into feature/multiSchemaMartin