Integrity and Change in Modular Ontologies
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 900-907.
Abstract
The benefits of modular representations are well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to local containment of terminological reasoning. We define an architecture for modular ontologies that supports local reasoning by compiling implied subsumption relations. We further address the problem of guaranteeing the integrity of a modular ontology in the presence of local changes. We propose a strategy for analyzing changes and guiding the process of updating compiled information.
@inproceedings{ijcai2003p129,
title = {Integrity and Change in Modular Ontologies},
author = {Stuckenschmidt, Heiner and Klein, Michel C. A.},
booktitle = {Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence, {IJCAI-03}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Georg Gottlob},
pages = {900--907},
year = {2003},
url = {https://ijcai.org/proceedings/2003/129},
}
TY - CPAPER TI - Integrity and Change in Modular Ontologies AU - Stuckenschmidt, Heiner AU - Klein, Michel C. A. T2 - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 PB - International Joint Conferences on Artificial Intelligence PY - 2003 SP - 900 EP - 907 UR - https://ijcai.org/proceedings/2003/129 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: