]> CVS info: $Id: fipa-sl.owl,v 1.8 2004/12/15 13:23:10 ian_dickinson Exp $ Ontology of FIPA SL nouns and properties Ian Dickinson, mailto:Ian.Dickinson@hp.com $Date: 2004/12/15 13:23:10 $ Defines a simple ontology of the constant names in FIPA's SL language. Denotes various levels of the SL language Class denoting language operators Class denoting unary logical operators Class denoting binary logical operators Class denoting binary term operators Class denoting logical quantifiers operators Class denoting modal logical operators Class denoting action operators Class denoting reference operators Class denoting operators that are used to construct action expressions Class denoting operators that are used to construct collection values (sets and lists) The negation operator The logical conjunction operator The logical disjunction operator The material implication operator The value equality operator = The result evaluation operator The modal belief operator The modal uncertainty operator The modal intention operator The modal persistent goal operator The feasibility action operator The done action operator The referential operator iota The referential operator any The referential operator all The symbol introducing an action expression action The symbol denoting sequential actions ; The symbol denoting alternative actions | The symbol introducing a sequence expression The symbol introducing a set expression