+ Fixed inconsisten axiom: equivalentClass(prov:Entity, dul:Object);
conflicts because prov:Entity is disjoint with prov:Activities and
ssn:Sensing is an activity as well as a social object.