Switched to using SPIN rules instead of equivalence classes for sensor subclasses to avoid invoking OWL2