A Methodology for the Induction of Ontological Knowledge from Semantic Annotations

At the meeting point between machine learning and description logics, we investigate on the induction of structural knowledge from metadata. In the proposed methodology, a basic taxonomy of the primitive concepts and roles is preliminarily extracted from the assertions contained in a knowledge base. Then, in order to deal with the inherent algorithmic complexity that affects induction in structured domains, the ontology is constructed incrementally by refining successive versions of the target concept definitions, expressed in richer languages of the Semantic Web, endowed with well-founded reasoning capabilities.

[1]  Frank van Harmelen,et al.  Proceedings of the 15th European Conference on Artificial Intelligence , 2002 .

[2]  P. Langley,et al.  Concept formation in structured domains , 1991 .

[3]  Ralf Küsters,et al.  Computing Least Common Subsumers in Description Logics with Existential Restrictions , 1999, IJCAI.

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

[5]  M. Pazzani,et al.  Concept formation knowledge and experience in unsupervised learning , 1991 .

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

[7]  Werner Nutt,et al.  An Epistemic Operator for Description Logics , 1998, Artif. Intell..

[8]  De Raedt,et al.  Advances in Inductive Logic Programming , 1996 .

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

[10]  Nicola Fanizzi,et al.  OI-implication: Soundness and Refutation Completeness , 2001, IJCAI.

[11]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[12]  Francesca A. Lisi,et al.  Object Identity as Search Bias for Pattern Spaces , 2002, ECAI.

[13]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[14]  Peter A. Flach,et al.  Rule Evaluation Measures: A Unifying View , 1999, ILP.

[15]  Werner Nutt,et al.  Tractable Concept Languages , 1991, IJCAI.

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

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

[18]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.

[19]  Jörg-Uwe Kietz,et al.  Learnability of Description Logic Programs , 2002, ILP.

[20]  James Cussens,et al.  Proceedings of the 10th International Conference on Inductive Logic Programming , 2000 .

[21]  Nicola Fanizzi,et al.  A Generalization Model Based on OI-implication for Ideal Theory Refinement , 2001, Fundam. Informaticae.

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

[23]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .