A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="https://link.springer.com/content/pdf/10.1007%2F978-3-540-88564-1_27.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
Revision of a description logic-based ontology deals with the problem of incorporating newly received information consistently. In this paper, we propose a general operator for revising terminologies in description logic-based ontologies. Our revision operator relies on a reformulation of the kernel contraction operator in belief revision. We first define our revision operator for terminologies and show that it satisfies some desirable logical properties. Second, two algorithms are developed to<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88564-1_27">doi:10.1007/978-3-540-88564-1_27</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jmvnek3fx5eedppodz26udoxi4">fatcat:jmvnek3fx5eedppodz26udoxi4</a> </span>
more »... instantiate the revision operator. Since in general, these two algorithms are computationally too hard, we propose a third algorithm as a more efficient alternative. We implemented the algorithms and provide evaluation results on their efficiency, effectiveness and meaningfulness in the context of two application scenarios: Incremental ontology learning and mapping revision. Introduction Ontologies are typically not static entities, but they evolve over time and need to revised. Changes to an ontology may be caused, e.g., by modifications in the application domain, the reorganization of existing information, or the incorporation of additional knowledge according to changes in the users' needs. An important problem in revising ontologies is maintaining the consistency of the ontology, i.e. the accommodation of new knowledge in an ontology without introducing logical contradictions. Due to the variety of sources and consequences of changes, such a revision is not a trivial process and thus cannot be left as manual work to the ontology engineer. Especially in the context of semi-automated ontology engineering, in which the ontology engineer is supported by agents (e.g. in the form of ontology learning tools) that suggest ontology changes, an automated revision is desired.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726091546/https://link.springer.com/content/pdf/10.1007%2F978-3-540-88564-1_27.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2f/70/2f700b5f5af0c19e9b9fe91ae314660e8d21fddd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88564-1_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>