]> http://www.w3.org/2005/rules/test/repository/tc/OWL_Combination_Invalid_DL_Formula/OWL_Combination_Invalid_DL_Formula-import001 http://www.w3.org/ns/entailment/OWL-Direct x http://example.org/#crt x 17 http://example.org/#p x