[sameAsSymmetry: (?a owl:sameAs ?b) -> (?b owl:sameAs ?a)]
[sameAsTransition: (?a owl:sameAs ?b), (?b owl:sameAs ?c) -> (?a owl:sameAs ?c)]
[sameAsIdentity: (?a owl:sameAs ?b), (?a ?p ?c) -> (?b ?p ?c)]
[sameAsIdentity: (?a owl:sameAs ?b), (?c ?p ?a) -> (?c ?p ?b)]
[eqClassSymmetry: (?a owl:equivalentClass ?b) -> (?b owl:equivalentClass ?a)]
[eqClassTransition: (?a owl:equivalentClass ?b), (?b owl:equivalentClass ?c) -> (?a owl:equivalentClass ?c), (?c owl:equivalentClass ?a)]
[eqClassSubClass1: (?a rdfs:subClassOf ?b), (?a owl:equivalentClass ?c) -> (?c rdfs:subClassOf ?b)]
[eqClassSubClass2: (?a rdfs:subClassOf ?b), (?b owl:equivalentClass ?c) -> (?a rdfs:subClassOf ?c)]
[subClassTransition: (?a rdfs:subClassOf ?b), (?b rdfs:subClassOf ?c) -> (?a rdfs:subClassOf ?c)]