Reasoning and Change Management in Modular Ontologies

Stuckenschmidt, Heiner ; Klein, Michel

Vorschau

PDF
New.pdf - Veröffentlichte Version
Download (241kB)

URL:	https://ub-madoc.bib.uni-mannheim.de/1141
URN:	urn:nbn:de:bsz:180-madoc-11410
Dokumenttyp:	Arbeitspapier
Erscheinungsjahr:	2005
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe:	Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet:	004 Informatik
Normierte Schlagwörter (SWD):	Ontologie <Wissensverarbeitung> , Inferenz <Künstliche Intelligenz>
Freie Schlagwörter (Deutsch):	Ontologien , Inferenz , Evolution
Freie Schlagwörter (Englisch):	Ontologies , Reasoning , Evolution
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.
Zusätzliche Informationen: