Do some limited OWL entailment to create range/domainIncludes.
Change linter_spec to application_spec.
Perform more extensive linting based on domain and range of properties and literal matching.