The Ontology Revision
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. 1
Cite
Text
Sun and Sui. "The Ontology Revision." International Joint Conference on Artificial Intelligence, 2005.Markdown
[Sun and Sui. "The Ontology Revision." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/sun2005ijcai-ontology/)BibTeX
@inproceedings{sun2005ijcai-ontology,
title = {{The Ontology Revision}},
author = {Sun, Yu and Sui, Yuefei},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {1583-1584},
url = {https://mlanthology.org/ijcai/2005/sun2005ijcai-ontology/}
}