|
Title:
|
LEARNING SERVICES BASED ON FORMAL CONCEPT REASONING |
|
Author(s):
|
Gonzalo A. Aranda-corral , Joaquín Borrego-díaz , Antonia M. Chávez-gonzález |
|
ISBN:
|
978-972-8924-39-3 |
|
Editors:
|
António Palma dos Reis, Katherine Blashki and Yingcai Xiao (series editors:Piet Kommers, Pedro Isaías and Nian-Shing Chen) |
|
Year:
|
2007 |
|
Edition:
|
Single |
|
Keywords:
|
Ontological Engineering, Semantic web services, Formal Concept analysis, Situation Calculus, ConGolog. |
|
Type:
|
Short Paper |
|
First Page:
|
183 |
|
Last Page:
|
188 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper 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. |
|
|
|
|
|
|
