eCite Digital Repository

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


Vassev, E and Hinchey, M and Gaudin, B and Nixon, P, Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles, C<sup>3</sup>S<sup>2</sup>E '11 - Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering, 16-18 May 2011, Montreal, Quebec, Canada, pp. 35-42. ISBN 978-1-4503-0626-3 (2011) [Refereed Conference Paper]

Copyright Statement

Copyright 2011 ACM

DOI: doi:10.1145/1992896.1992901


Autonomic Service-Component Ensembles (ASCENS) is a class of multi-agent systems formed as mobile, intelligent and openended 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.

Item Details

Item Type:Refereed Conference Paper
Keywords:knowledge representation, logic, ontology, reasoning, awareness, ASCENS
Research Division:Information and Computing Sciences
Research Group:Theory of computation
Research Field:Computational logic and formal languages
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Information systems, technologies and services not elsewhere classified
UTAS Author:Nixon, P (Professor Paddy Nixon)
ID Code:77946
Year Published:2011
Deposited By:Research Division
Deposited On:2012-06-05
Last Modified:2014-12-08

Repository Staff Only: item control page