Models and methods for disjointness axioms discovery in Description Logics
The research activity aims at the investigation of models and related methods, based on machine learning, suitable for the discovery of disjointness axioms to be introduced in the context of Web ontologies expressed in formalisms derived from Description Logics. This problem is quite important in the Semantic Web research given the inherent incompleteness of the knowledge bases in this context. The developed methods will be implemented and tested in comparison with the other techniques proposed in the literature concerning this problem.
This job comes from a partnership with Science Magazine and