A formal description of ontology change in OWL

- Avery, John, Yearwood, John