{"type":"ScholarlyArticle","title":"The Ontology Revision","authors":[{"name":"Yu Sun","slug":"yu-sun","given":"Yu","family":"Sun","affiliation":""},{"name":"Yuefei Sui","slug":"yuefei-sui","given":"Yuefei","family":"Sui","affiliation":""}],"abstract":"An ontology consists of a set of concepts, a set of constraints imposing on instances of concepts, and the subsumption relation. It is assumed that an ontology is a tree under the subsumption relation between concepts. To preserve structural properties of ontologies, the ontology revision is not only contracting ontologies by discarding statements inconsistent with a revising statement, but also extracting statements consistent with the revising statement and adding some other statements. In the ontology revision, the consistency of a revising statement with the theory of the logical closure of the ontology under the closed world assumption is discussed. The basic postulates of the ontology revision are proposed and a concrete ontology revision is given based on the consistence or inconsistence of an ontology and a revising statement.","doi":null,"url":"https://ijcai.org/proceedings/2005/274","pdf":"https://ijcai.org/proceedings/2005/0274.pdf","markdown":"https://ijcai.org/proceedings/2005/274.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/274","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":274,"pages":{"first":1583,"last":1583},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}