Extending abstract notation to ontology provenance using PROV-ASN | IEEE Conference Publication | IEEE Xplore