# Every triple on which PurRDF's OWL-RL closure and the `owlrl` reference engine differ,
# over crates/entail/tests/owlrl-corpus/, as `<fixture> <direction> <triple>`.
#
# This is the SET the gate asserts, and it is asserted in both directions: a newly
# divergent triple fails, and a divergence that stops occurring fails too. The typed
# ledger beside it (owlrl-divergences.toml) says which CATEGORY each of these belongs to
# and why PurRDF's answer is the correct one; a category alone cannot do this job, because
# `classify_divergence` recognizes a shape and would absorb any triple that merely looks
# like a known divergence.
#
# Regenerate with PURRDF_WRITE_OWLRL_DIFF=1 after confirming every change is intended.
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cax_subclass_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
cax_subclass_and_equivalent purrdf-only <http://example.org/C3> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/C3> .
cax_subclass_and_equivalent purrdf-only <http://example.org/C3> <http://www.w3.org/2002/07/owl#equivalentClass> <http://example.org/C3> .
cax_subclass_and_equivalent purrdf-only <http://example.org/C4> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/C4> .
cax_subclass_and_equivalent purrdf-only <http://example.org/C4> <http://www.w3.org/2002/07/owl#equivalentClass> <http://example.org/C4> .
cls_intersection_and_union owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_intersection_and_union owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
cls_intersection_and_union owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_intersection_and_union owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
cls_intersection_and_union owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_intersection_and_union owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
cls_intersection_and_union owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_intersection_and_union owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
cls_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
cls_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
cls_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
cls_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
cls_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
dt_literal_typing owlrl-only "42"^^<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/XMLSchema#decimal> .
dt_literal_typing owlrl-only "42"^^<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/XMLSchema#integer> .
dt_literal_typing owlrl-only "42"^^<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/2002/07/owl#sameAs> "42"^^<http://www.w3.org/2001/XMLSchema#integer> .
dt_literal_typing owlrl-only "43"^^<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/XMLSchema#decimal> .
dt_literal_typing owlrl-only "43"^^<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2001/XMLSchema#integer> .
dt_literal_typing owlrl-only "43"^^<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/2002/07/owl#sameAs> "43"^^<http://www.w3.org/2001/XMLSchema#integer> .
dt_literal_typing owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
dt_literal_typing owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
dt_literal_typing owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
dt_literal_typing owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
dt_literal_typing owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
dt_literal_typing owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
dt_literal_typing owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
dt_literal_typing owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
empty owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
empty owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
empty owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
empty owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
empty owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
empty owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
empty owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
empty owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_different_from_symmetry owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
eq_different_from_symmetry purrdf-only <http://example.org/b> <http://www.w3.org/2002/07/owl#differentFrom> <http://example.org/a> .
eq_sameas_replacement owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_sameas_replacement owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
eq_sameas_replacement owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_sameas_replacement owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
eq_sameas_replacement owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_sameas_replacement owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
eq_sameas_replacement owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
eq_sameas_replacement owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
prp_domain_range owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_domain_range owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
prp_domain_range owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_domain_range owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
prp_domain_range owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_domain_range owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
prp_domain_range owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_domain_range owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
prp_functional_and_inverse_functional owlrl-only "111-11-1111" <http://www.w3.org/2002/07/owl#sameAs> "111-11-1111" .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_functional_and_inverse_functional owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
prp_inverse owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_inverse owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
prp_inverse owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_inverse owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
prp_inverse owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_inverse owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
prp_inverse owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_inverse owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
prp_key owlrl-only "999-99-9999" <http://www.w3.org/2002/07/owl#sameAs> "999-99-9999" .
prp_key owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_key owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
prp_key owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_key owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
prp_key owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_key owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
prp_key owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_key owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
prp_property_chain owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_property_chain owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
prp_property_chain owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_property_chain owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
prp_property_chain owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_property_chain owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
prp_property_chain owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_property_chain owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
prp_subproperty_and_equivalent owlrl-only "Bob" <http://www.w3.org/2002/07/owl#sameAs> "Bob" .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_subproperty_and_equivalent owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
prp_subproperty_and_equivalent purrdf-only <http://example.org/fullName> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/fullName> .
prp_subproperty_and_equivalent purrdf-only <http://example.org/fullName> <http://www.w3.org/2002/07/owl#equivalentProperty> <http://example.org/fullName> .
prp_subproperty_and_equivalent purrdf-only <http://example.org/name> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/name> .
prp_subproperty_and_equivalent purrdf-only <http://example.org/name> <http://www.w3.org/2002/07/owl#equivalentProperty> <http://example.org/name> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
prp_symmetric_transitive owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
scm_hierarchy owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_hierarchy owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
scm_hierarchy owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_hierarchy owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
scm_hierarchy owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_hierarchy owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
scm_hierarchy owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_hierarchy owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
scm_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#HTML> .
scm_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_restrictions owlrl-only <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
scm_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#date> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#date> .
scm_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
scm_restrictions owlrl-only <http://www.w3.org/2001/XMLSchema#time> <http://www.w3.org/2002/07/owl#sameAs> <http://www.w3.org/2001/XMLSchema#time> .
