Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data

From International Center for Computational Logic

Toggle side column

Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data

Daniel BorchmannDaniel Borchmann
Daniel Borchmann
Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data
Proceedings of the Seventh International Conference on Knowledge Capture, 1-8, 2013. ACM
  • KurzfassungAbstract
    In a recent approach, Baader and Distel proposed an algorithm to axiomatize all terminological knowledge that is valid in a given data set and is expressible in the description logic $mathcal{EL}^{bot}$. This approach is based on the mathematical theory of formal concept analysis. However, this algorithm requires the initial data set to be free of errors, an assumption that normally cannot be made for real-world data. In this work, we propose a first extension of the work of Baader and Distel to handle errors in the data set. The approach we present here is based on the notion of confidence, as it has been developed and used in the area of data mining.
  • Projekt:Project: QuantLA
  • Forschungsgruppe:Research Group: Automatentheorie
@inproceedings{ Borc-KCAP13,
  author = {Daniel {Borchmann}},
  booktitle = {Proceedings of the Seventh International Conference on Knowledge Capture},
  pages = {1--8},
  publisher = {ACM},
  title = {Axiomatizing $\mathcal{E}\!\mathcal{L}^{\bot}$-Expressible Terminological Knowledge from Erroneous Data},
  venue = {Banff, Canada},
  year = {2013},
}