A Practical Approach for Computing Generalization Inferences in EL

From International Center for Computational Logic

Toggle side column

A Practical Approach for Computing Generalization Inferences in EL

R. PeñalozaR. Peñaloza,  Anni-Yasmin TurhanAnni-Yasmin Turhan
R. Peñaloza, Anni-Yasmin Turhan
A Practical Approach for Computing Generalization Inferences in EL
In Marko Grobelnik and Elena Simperl, eds., Proceedings of the 8th European Semantic Web Conference (ESWC'11), Lecture Notes in Computer Science, 2011. Springer
  • KurzfassungAbstract
    We present methods that compute generalizations of concepts or individuals described in ontologies written in the Description Logic EL. These generalizations are the basis of methods for ontology design and are the core of concept similarity measures. The reasoning service least common subsumer (lcs) generalizes a set of concepts. Similarly, the most specific concept (msc) generalizes an individual into a concept description. For EL the lcs and the msc do not need to exist, if computed w.r.t. general EL-TBoxes. However, it is possible to find a concept description that is the lcs (msc) up to a certain role-depth. In this paper we present a practical approach for computing the role-depth bounded lcs and msc, based on the polynomial-time completion algorithm for EL and describe its implementation.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ PeTu-ESWC11,
  author = {R. {Pe{\~n}aloza} and A.-Y. {Turhan}},
  booktitle = {Proceedings of the 8th European Semantic Web Conference ({ESWC'11})},
  editor = {Marko {Grobelnik} and Elena {Simperl}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {A Practical Approach for Computing Generalization Inferences in {${\mathcal{EL}}$}},
  year = {2011},
}