IADIS: International Association for Development of the Information Society
Abstract
A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the
formalization of the problem using an agent oriented programming language (ConGolog), as well as on the use of the
Formal Concept Analysis as a tool for knowledge extraction.Ministerio de Educación y Ciencia TIN 2004- 0388
