"wasInvalidatedBy" . . . . . "entities-activities" . . . . "prov:invalidated is one of few inverse property defined, to allow Activity-oriented assertions in addition to Entity-oriented assertions." . . "invalidated" . . "expanded" .