conformance of OWL 2 and CL