add query answering and allow undefined entities
rename member
Refactor processKB() method
Introduce a set of conjunctive query, work properly with artificial ABox
synched with FaCT++ 1658. SaveLoad functionality excluded
checkstyle warnings cleared
FindBugs possible null dereference fixed