K  n  o  w  L  a  n  g
Framework for Knowledge Representation and Reasoning for Self-Adaptive Systems


U s e r    G u i d e

Home
Running KnowLang
Knowledge Model
Concepts
Objects
States
Metrics
Self-Adaptive Behavior
Goals
Situations
Policies
Reasoner
Contact Info
Description

In the KnowLang specification models, the concept instances are considered as objects and are structured in object trees. Object trees are a conceptualization of how objects existing in the world of interest are related to each other. The relationships in an object tree are based on the principle that objects have properties, where the value of a property is another object, which in turn also has properties. Object trees are the realization of concepts in the ontology domain. To better understand the relationship between concepts and objects, we may think of concepts as similar to the OOP classes and objects as instances of these classes.

Example
FINAL OBJECT_ARRAY sepm_solar_cells [200] {
  INSTANCE_OF { BepiColombo.MMO.CONCEPT_TREES.Solar_cell }
}
FINAL OBJECT gas_tank_1 {
  INSTANCE_OF { BepiColombo.MMO.CONCEPT_TREES.Tank }
}
FINAL OBJECT el_motor_2 {
  INSTANCE_OF { BepiColombo.MMO.CONCEPT_TREES.Electrical_engine }
}
FINAL OBJECT el_prop_ctrl_soft_1 {
  INSTANCE_OF { BepiColombo.MMO.CONCEPT_TREES.Control_software }
}
FINAL OBJECT el_engine_1 {
  INSTANCE_OF { BepiColombo.MMO.CONCEPT_TREES.Electrical_engine }
  PROPS {
    PROP el_motor { BepiColombo.MMO.OBJECT_TREES.el_motor_2 }
    PROP control_soft { BepiColombo.MMO.OBJECT_TREES.el_prop_ctrl_soft_1 }
  }
  IMPL { "MMO.SEPMElEngine" }
}
FINAL OBJECT sepm_1 {
  INSTANCE_OF { BepiColombo.MMO.CONCEPT_TREES.SEPM }
  PROPS {
    PROP solar_cells { BepiColombo.MMO.OBJECT_TREES.sepm_solar_cells }
    PROP gas_tank { BepiColombo.MMO.OBJECT_TREES.gas_tank_1 }
    PROP el_engine { BepiColombo.MMO.OBJECT_TREES.el_engine_1 }
    PROP control_soft { BepiColombo.MMO.OBJECT_TREES.el_prop_ctrl_soft_1 }
  }
  IMPL { "MMO.SEPMModule" }
}

top
User Guide Curator - Emil Vassev
Last modified on January 28, 2014