Modelling autonomic dataspaces using answer sets

Abstract : This paper presents an approach for managing an autonomic data space, able to automatically define views that fulfill the requirements of a set of users, and adjust them as the data space evolves. An autonomic data space deals with incomplete knowledge to manage itself because of the heterogeneity and the lack of metadata related to the resources it integrates. Our approach exploits the expressiveness of stable models and the K action language for expressing the data space management functions. It is based on a model for specifying an autonomic dataspace expressed using answer set programming (ASP). ASP is a type of declarative logic programming particularly useful in knowledge-intensive applications. It is based on the stable semantics (answer sets), which allows negation as failure and applies the ideas of auto-epistemic logic to distinguish between what is true and what is believed.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.inria.fr/hal-00953109
Contributor : Fabrice Jouanot <>
Submitted on : Friday, February 28, 2014 - 12:16:14 PM
Last modification on : Thursday, October 11, 2018 - 8:48:03 AM

Identifiers

  • HAL Id : hal-00953109, version 1

Collections

Citation

Gabriela Montiel Moreno, José-Luis Zechinelli-Martini, Genoveva Vargas-Solar. Modelling autonomic dataspaces using answer sets. Journal de Inteligencia Artificial, Erevista, 2010, 14(48), pp.3--14. ⟨hal-00953109⟩

Share

Metrics

Record views

211