Wheat and Chaff -- Practically Feasible Interactive Ontology Revision

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Wheat and Chaff -- Practically Feasible Interactive Ontology Revision

Nadeschda NikitinaNadeschda Nikitina,  Birte GlimmBirte Glimm,  Sebastian RudolphSebastian Rudolph
Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
Wheat and Chaff -- Practically Feasible Interactive Ontology Revision
In Noy et al., eds., Proceedings of the 10th International Semantic Web Conference (ISWC2011), October 2011. Springer
  • KurzfassungAbstract
    When ontological knowledge is acquired automatically, quality control is essential. We consider the tightest possible approach -- an exhaustive manual inspection of the acquired data. By using automated reasoning, we partially automate the process: after each expert decision, axioms that are entailed by the already approved statements are automatically approved, whereas axioms that would lead to an inconsistency are declined. Adequate axiom ranking strategies are essential in this setting to minimize the amount of

    expert decisions.

    In this paper, we present a generalization of the previously proposed ranking techniques which works well for arbitrary validity ratios -- the proportion of valid statements within a dataset -- whereas the previously described ranking functions were either tailored towards validity ratios of exactly 100% and 0% or were optimizing the worst case. The validity ratio -- generally not known a priori -- is continuously estimated over the course of the inspection process. We further employ partitioning techniques to significantly reduce the computational effort. We provide an implementation supporting all these optimizations as well as featuring a user front-end for successive axiom evaluation, thereby making our proposed strategy applicable to practical scenarios. This is witnessed by our evaluation showing that the novel parameterized ranking function almost achieves the maximum possible automation and that the computation time needed for each reasoning-based, automatic decision is reduced to less than one

    second on average for our test dataset of over 25,000 statements.
  • Forschungsgruppe:Research Group: Computational LogicComputational Logic
The final publication is available at Springer.
@inproceedings{NGR2011,
  author    = {Nadeschda Nikitina and Birte Glimm and Sebastian Rudolph},
  title     = {Wheat and Chaff -- Practically Feasible Interactive Ontology
               Revision},
  editor    = {Noy et al.},
  booktitle = {Proceedings of the 10th International Semantic Web Conference
               (ISWC2011)},
  publisher = {Springer},
  year      = {2011},
  month     = {October}
}