A Refinement Operator Based Learning Algorithm for the ALC Description Logic
From Ontology Learning
|title||A Refinement Operator Based Learning Algorithm for the ALC Description Logic|
|author||Jens Lehmann, Pascal Hitzler|
|editor||Hendrick Blockeel, Jude W. Shavlik, Prasad Tadepalli|
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.