Re: Erratum in PROV-N Example 14

Hi John,

Thanks for your message.

I agree that it would be better for the first example to become:

used(ex:act2, ar3:0111)

Instead of used(ex:act2).


Thanks for helping tidy up the specifications.

Kind regards
Luc

--
Professor Luc Moreau,  Executive Dean
Faculty of Science, Engineering and Medicine | University of Sussex
Pevensey 1, Room 2E9
EA: Janhavi Sharma <js2092@sussex.ac.uk>

Received on Thursday, 7 May 2026 12:58:18 UTC