]> CVS info: $Id: ks.owl,v 1.27 2005/04/04 12:27:14 ian_dickinson Exp $ Nuin agent KS representation ontology Ian Dickinson, mailto:Ian.Dickinson@hp.com $Date: 2005/04/04 12:27:14 $ Defines an ontology that maps the well-known names of constants and other terms in the Nuin knowledge representation formalism Class representing the concept of a knowledge source: a collection of assertions and some associated inference procedure(s) for drawing conclusions from such assertions. General topmost class for all KsValue values Class of nodes that represent ks symbols Class of nodes that represent ks terms in an RDF encoding Class of nodes that represent reified ks predicates of arbitrary arity in an RDF encoding Class of nodes that represent reified ks vars in an RDF encoding Class of nodes that represent list structures in an RDF encoding Property that maps from Term nodes to their functor Property that maps from Term nodes to an argument Property that maps from Arg nodes to an index for positional arguments Property that maps from Arg nodes to an argument name for named arguments Generic super-property for both valInd and valLit Property that maps from Arg nodes to an argument value that is an individual Property that maps from Arg nodes to an argument value that is a literal Property that maps from Var nodes to a label denoting the name of the variable Denotes the post-condition of an intention or other active structure Class that denotes an argument of a stuctured term Denotes the non-value 'bottom' that is not a member of any domain. Class representing dynamic terms (events, actions, etc) in the agent's ks model Class representing Events in the agent's ks model Class representing Messages in the agent's ks model Class representing Actions in the agent's ks model Symbol denoting the functor of a term encoding an event Symbol denoting the functor of a term encoding a message Symbol denoting the functor of a term encoding an action Class denoting reified sentences The index term for a ks reference expression The sentence that denotes the reference part of a ks reference expression Represents KS contexts that provide additional parameterisation for reasoners Represents the default, global ks context Represents well-known names for modal opertors Modal operator for believs Modal operator for intends (same as I_to) Modal operator for intending to perform some action Modal operator for intending that some condition becomes true Modal operator for desires Class representing a goal (desire) instance Class representing the strategic knowledge about a given goal type Class representing a given desire in the strategy KS Super-class of Goal and GoalStrategy Denotes the goal strategy being used to achieve a given goal Denotes the subGoal relationship between a parent goal and a sub-goal Denotes the term that describes the result of goal execution, to allow bindings to be reconstructed Denotes the term or symbol that expresses the head of the goal (i.e the name with which it was invoked) Denotes a link to an outcome, as an encoded sentence. I.e. the value of this property is not expressed as RDF resources and properties, but as an RDF literal. Denotes the actor holding a goal, desire or other modality Denotes a link to a goal that replaces the subject goal Denotes a link to a old goal that replaces the subject goal is the replacement for An all subgoal relation requires all subGoals to be satisfied An any subgoal relation requires any of the subGoals to be satisfied A try subgoal relation requires subGoals to be tried in order until one is satisfied A sequence subgoal relation requires subGoals to be tried in order until all are satisfied Denotes the predicate defining the world-state the goal aims to achieve Denotes the plan or action that the goal will enact A goal strategy in which the sub-goals are tried one at a time until one succeeds 1 A goal strategy in which all sub-goals must succeed 1 A goal strategy in which any sub-goals can succeed 1 A goal strategy in which an action is performed 1 A goal strategy in which all sub-goals are tried, in order, until all succeed 1 A goal strategy in which a post-condition is achieved 1 Relation denoting sequence successor relation over goals or strategies Partial preference order relation over strategies, goals, plans and events Relation denoting the priority level of a strategy, goal, plan or event Denotes the current state of a goal, which will be one of: active, completed, failed, dropped Denotes the current state (active, completed, etc) of the goal