论文信息 - Concept Formation in Expressive Description Logics

Concept Formation in Expressive Description Logics

We investigate on the automated construction of terminologies from assertions in an expressive Description Logics representation like ALC. The overall unsupervised learning problem is decomposed into smaller supervised learning problems once clusters of disjoint concepts are detected. In turn, these problems are solved by means of refinement operators.

[1] Luc De Raedt,et al. Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms , 1999, ILP.

[2] William W. Cohen,et al. Learning the Classic Description Logic: Theoretical and Experimental Results , 1994, KR.

[3] David Haussler,et al. Learning Conjunctive Concepts in Structural Domains , 1989, Machine Learning.

[4] Steven A. Vere,et al. Multilevel Counterfactuals for Generalizations of Relational Concepts and Productions , 1980, Artif. Intell..

[5] Katharina Morik,et al. A Polynomial Approach to the Constructive Induction of Structural Knowledge , 2004, Machine Learning.

[6] Shan-Hwei Nienhuys-Cheng,et al. Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.

[7] Liviu Badea,et al. A Refinement Operator for Description Logics , 2000, ILP.

[8] Céline Rouveirol,et al. Towards Learning in CARIN-ALN , 2000, ILP.