A refinement operator for inducing Description Logics
Angelos Charalambidis and Stasinos Konstantopoulos
In: 22nd International Conference on Inductive Logic Programming, 17-19 Sep 2012, Dubrovnik, Croatia.
We present a new refinement operator that guides an ILP search through a lattice of a Horn clause representation of Description Logic (DL) clauses. Our operator dramatically narrows the search space by being aware of syntactic restrictions on the Horn representation stemming from both the syntax and semantics of DLs as well as from axioms present in the specific background of each experiment.