Ideal Downward Refinement in the EL Description Logic
From Ontology Learning
|title||Ideal Downward Refinement in the EL Description Logic|
|author||Jens Lehmann, Christoph Haase|
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, faces a bottleneck due to the lack of available knowledge bases, and it is paramount that suitable automated methods for their acquisition will be developed. In this paper, we provide the first learning algorithm based on refinement operators for the most fundamental description logic ALC. We develop the algorithm from thorough theoretical foundations and report on a prototype implementation.