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

E Vassev, M Hinchey, B Gaudin, Patrick Nixon

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)

    Abstract

    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.
    LanguageEnglish
    Title of host publicationUnknown Host Publication
    EditorsBC Desai, A Abran
    Pages35-42
    Number of pages8
    DOIs
    Publication statusPublished - 2011
    EventProceedings of the Fourth International C* Conference on Computer Science and Software Engineering - Montreal, Quebec, Canada
    Duration: 1 Jan 2011 → …

    Conference

    ConferenceProceedings of the Fourth International C* Conference on Computer Science and Software Engineering
    Period1/01/11 → …

    Fingerprint

    Knowledge representation
    Ontology
    Multi agent systems

    Keywords

    • knowledge representation
    • logic
    • ontology
    • reasoning
    • awareness
    • ASCENS

    Cite this

    Vassev, E ; Hinchey, M ; Gaudin, B ; Nixon, Patrick. / Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. Unknown Host Publication. editor / BC Desai ; A Abran. 2011. pp. 35-42
    @inproceedings{0c9036339fcc42779a722677e7836c8b,
    title = "Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles",
    abstract = "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.",
    keywords = "knowledge representation, logic, ontology, reasoning, awareness, ASCENS",
    author = "E Vassev and M Hinchey and B Gaudin and Patrick Nixon",
    year = "2011",
    doi = "10.1145/1992896.1992901",
    language = "English",
    isbn = "978-1-4503-0626-3",
    pages = "35--42",
    editor = "BC Desai and A Abran",
    booktitle = "Unknown Host Publication",

    }

    Vassev, E, Hinchey, M, Gaudin, B & Nixon, P 2011, Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. in BC Desai & A Abran (eds), Unknown Host Publication. pp. 35-42, Proceedings of the Fourth International C* Conference on Computer Science and Software Engineering, 1/01/11. https://doi.org/10.1145/1992896.1992901

    Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. / Vassev, E; Hinchey, M; Gaudin, B; Nixon, Patrick.

    Unknown Host Publication. ed. / BC Desai; A Abran. 2011. p. 35-42.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

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

    AU - Vassev, E

    AU - Hinchey, M

    AU - Gaudin, B

    AU - Nixon, Patrick

    PY - 2011

    Y1 - 2011

    N2 - 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.

    AB - 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.

    KW - knowledge representation

    KW - logic

    KW - ontology

    KW - reasoning

    KW - awareness

    KW - ASCENS

    U2 - 10.1145/1992896.1992901

    DO - 10.1145/1992896.1992901

    M3 - Conference contribution

    SN - 978-1-4503-0626-3

    SP - 35

    EP - 42

    BT - Unknown Host Publication

    A2 - Desai, BC

    A2 - Abran, A

    ER -