eProPlanP

, Last updated by serban, on Wed, 02/24/2010 - 10:17

eProPlan-P: The view consists of two Protégé 4.0 Individual Views, one showing all applicable Operators per IO-Object (Data, Model, Report), the other showing the current DM Workflow. It also allows to select one of the applicable
Operators and apply it. This plugin depends on the eProPlanI plugin since it makes several calls to the Flora2 knowledge base (getting the applicable operators, applying an operator, planning).

Applicable operators
An operator has certain conditions and effects. Both can be inherited from superclasses. Also each operator has a type. The conditions together with the type can specify if an operator is applicable or not. Therefore an operator is applicable if its type is basic (no further decomposable) and its conditions can be fulfilled. The applicable operators view uses in the background a compiler which compiles the operators conditions and effects into Flora2 thus producing the file op-defs.flr. This compilation is done every time a change is made either in the conditions or effects or in the operator’s type an the user calls the reasoner or the "Infer" button or the "Plan" button. The file is loaded into Flora2 and then the applicableOp predicate is called. The view displays a tree consisting of three levels:

  • The first level of the tree contains all the individuals whose types are subclasses of IOObject, more precisely all the individuals which can be used by an Operator.
  • The second level of the tree consists of all applicable operators, more precisely only basic operators whose conditions are satisfied (there is a set of individuals which satisfy all the conditions).
  • The third level of the tree represents a parameter of the operator - the object properties : uses or sub properties of uses, produces and sub properties of produces or parameter and its sub properties, and the data property simpleParameter and it’s sub properties. Which parameters exactly an operator has is inferred by the condition of the operator. Each solution of the premisses of the condition produces one parameter list corresponding to the conclusion of the condition.

On the top the view there is a toolbar with three buttons used to fill the information into the view as follows:

  • The "Infer" button compiles the operators information or the ontology if any change was made the last compilation into Flora2 and refreshes the information from the tree. The button is always enabled since if the ontology is changed it will be recompiled when "Infer" is called. This only works, if eProPlan-I is selected as the current reasoner.
  • The "Apply" button is used to apply an operator with a certain parameter. In order to be able to apply an operator the user has to select its parameter list (which is on the third level of the tree), otherwise the button is disabled. When the button is pressed the operator is applied and it adds the new produced individuals in the ontology and their applicable operators.
  • The "Plan" button is enabled when eProPlan-I reasoner is selected and the ontology is classified. When clicking on the "Plan" button a dialog is displayed containing a tree with the available task instances. The tree contains only those individuals which are connected to an individual goal through the object property useTask. The user needs to select one of the individuals from the tree (on the second level of the tree) and the "Ok" button is enabled. If "Ok" is pressed the HTN AI-planner is called and the plan is displayed in the Plan Graph view.

Added at 24.Feb.2010

Plan Graph View
This view displays the plan as an workflow-graph. It consists of nodes (with labels and icons) – either Operator or IO-Object individuals connected by edges – properties that connect nodes. The top of the view has a toolbar with buttons that can be used to zoom in/out or to delete a node/edge from the workflow. Figure 7 displays the eProPlan-P tab which contains both of the views described before.

eProPlan-P tab layout for download here.