Affiliation:
1. University of Bari, Italy
Abstract
This paper presents an approach to ontology construction pursued through the induction of concept descriptions expressed in Description Logics. The author surveys the theoretical foundations of the standard representations for formal ontologies in the Semantic Web. After stating the learning problem in this peculiar context, a FOIL-like algorithm is presented that can be applied to learn DL concept descriptions. The algorithm performs a search through a space of candidate concept definitions by means of refinement operators. This process is guided by heuristics that are based on the available examples. The author discusses related theoretical aspects of learning with the inherent incompleteness underlying the semantics of this representation. The experimental evaluation of the system DL-Foil, which implements the learning algorithm, was carried out in two series of sessions on real ontologies from standard repositories for different domains expressed in diverse description logics.
Reference41 articles.
1. The Description Logic Handbook
2. Baader, F., Ganter, B., Sertkaya, B., & Sattler, U. (2007). Completing description logic knowledge bases using formal concept analysis. In M. Veloso (Ed.), Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India (pp. 230-235).
3. Badea, L., & Nienhuys-Cheng, S.-H. (2000). A refinement operator for description logics. In J. Cussens & A. Frisch (Eds.), Proceedings of the 10th International Conference on Inductive Logic Programming (LNAI 1866, pp. 40-59).
4. Ontology Evolution
5. On the relative expressiveness of description logics and predicate logics