Added definedBy annotations. Added additional named restrictions to KB build.
Added missing axioms to dataset.