Replaced owl:equivalentClass with SPIN rules
Converted owl:equivalentClass to SPIN rules