Reasoning and Change Management in Modular Ontologies

Preview

PDF
New.pdf - Published
Download (241kB)

URL:	https://ub-madoc.bib.uni-mannheim.de/1141
URN:	urn:nbn:de:bsz:180-madoc-11410
Document Type:	Working paper
Year of publication:	2005
The title of a journal, publication series:	None
Publication language:	English
Institution:	School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC publication series:	Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject:	004 Computer science, internet
Subject headings (SWD):	Ontologie <Wissensverarbeitung> , Inferenz <Künstliche Intelligenz>
Individual keywords (German):	Ontologien , Inferenz , Evolution
Keywords (English):	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.
Additional information: