Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Article4017
Abstract When ontological knowledge is acquired aut
When ontological knowledge is acquired automatically, quality control is essential. Which part of the automatically acquired knowledge is appropriate for an application often depends on the context in which the knowledge base or ontology is used. In order to determine relevant and irrelevant or even wrong knowledge, we support the tightest possible quality assurance approach – an exhaustive manual inspection of the acquired data. By using automated reasoning, this process can be partially automatized: after each expert decision, axioms that are entailed by the already confirmed statements are automatically approved, whereas axioms that would lead to an inconsistency are declined. Starting from this consideration, this paper provides theoretical foundations, heuristics, optimization strategies and comprehensive experimental results for our approach to efficient reasoning-supported interactive ontology revision. We introduce and elaborate on the notions of revision states and revision closure as formal foundations of our method. Additionally, we propose a notion of axiom impact which is used to determine a beneficial order of axiom evaluation in order to further increase the effectiveness of ontology revision. The initial notion of impact is then further refined to take different validity ratios – the proportion of valid statements within a dataset – into account. Since the validity ratio is generally not known a priori – we show how one can work with an estimate that is continuously improved over the course of the inspection process. Finally, we develop the notion of decision spaces, which are structures for calculating and updating the revision closure and axiom impact. We optimize the computation performance further by employing partitioning techniques and provide an implementation supporting these optimizations as well as featuring a user front-end. Our evaluation shows that our ranking functions almost achieve the maximum possible automatization and that the computation time needed for each reasoning-based, automatic decision takes less than one second on average for our test dataset of over 25000 statements.
our test dataset of over 25000 statements.  +
Author Nadeschda Nikitina + , Sebastian Rudolph + , Birte Glimm +
BibTex
@article{NRG2012,
  author  = {Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm},
  title   = {Interactive ontology revision},
  journal = {Journal of Web Semantics},
  volume  = {12},
  year    = {2012},
  month   = {April},
  pages   = {118-130},
  doi     = {10.1016/j.websem.2011.12.002}
}
Bibtype Article  +
DOI Name 10.1016/j.websem.2011.12.002  +
Download NiRG12a.pdf  +
ErsterAutorNachname Nikitina  +
ErsterAutorVorname Nadeschda  +
Forschungsgebiet Wissensrepräsentation und logisches Schließen + , Semantische Technologien +
Forschungsgruppe Computational Logic +
ISSN 1570-8268  +
Journal Journal of Web Semantics  +
Link http://www.sciencedirect.com/science/article/pii/S1570826811001028  +
Month April  +
Pages 118-130  +
Publication text Nadeschda Nikitina, Sebastian Rudolph, Bir
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm<br/> '''[[Article4017|Interactive ontology revision]]''' <br/>__NOTOC__Journal of Web Semantics, 12:118-130, April 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article4017|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:NiRG12a.pdf|Download]]
t;/span> [[Media:NiRG12a.pdf|Download]]  +
Publication text en Nadeschda Nikitina, Sebastian Rudolph, Bir
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm<br/> '''[[Article4017/en|Interactive ontology revision]]''' <br/>__NOTOC__Journal of Web Semantics, 12:118-130, April 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article4017|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:NiRG12a.pdf|Download]]
t;/span> [[Media:NiRG12a.pdf|Download]]  +
Referiert 1  +
Title Interactive ontology revision  +
To appear 0  +
Type article  +
Volume 12  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Article4017 + , Article4017 + , Article4017 + , Article4017 + , Article4017 + , Article4017 + , Article4017 +
Kategorien Publikation , Article
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
14 November 2014 22:27:24  +
verstecke Attribute die hierhin verlinken 
Article4017/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.