University of Limerick Institutional Repository

Requirements and initial model for KnowLang –a language for knowledge representation in autonomic service-component ensembles

DSpace Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.contributor.author Gaudin, Benoit
dc.contributor.author Nixon, Paddy
dc.date.accessioned 2012-01-06T16:51:30Z
dc.date.available 2012-01-06T16:51:30Z
dc.date.issued 2011
dc.identifier.uri http://hdl.handle.net/10344/1781
dc.description non-peer-reviewed en_US
dc.description.abstract Autonomic Service-Component Ensembles (ASCENS) is a class of multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components and their environment. ASCENS systems pose distinct challenges for knowledge representation languages. In this paper, we present requirements and an initial model for such a language called KnowLang. KnowLang is intended to provide for formal specification of distinct knowledge models each representing a different knowledge domain of an ASCENS system, such as the internal world of a service component, the world of a service-component ensemble, the surrounding external world and information of special situations related to state changes and operations of service components. KnowLang provides the necessary constructs and mechanisms for specifying such knowledge models at two main levels – an ontology level and a logic-foundations level, where the latter is formed by special facts, rules, constraints and inter-ontology operators. In this paper, we also survey one of the ASCENS case studies to derive some of the requirements for KnowLang. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation.ispartofseries Proceedings 4th International C* Conference on Computer Science & Software Engineering;05/2011
dc.rights "© ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings 4th International C* Conference on Computer Science & Software Engineering.http://dx.doi.org/10.1145/1992896.1992901 en_US
dc.subject knowledge representations en_US
dc.subject logic en_US
dc.subject ontology en_US
dc.subject reasoning awareness en_US
dc.subject ASCENS
dc.title Requirements and initial model for KnowLang –a language for knowledge representation in autonomic service-component ensembles en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor IRCSET
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1
dc.rights.accessrights info:eu-repo/semantics/openAccess


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics