Fixed copyright headers and file comments
Added markup and additional infos to README
ICI: added semantic validation of kb data structures
Added validation of kb syntax and data structures
Added binding for xs:integer
Additional IF-Calls for new KnowledgeBase
Added tranformation rules according to new kb syntax
Updated value objects according to new kb semantics