A formal description of ontology change in OWL | IEEE Conference Publication | IEEE Xplore