]> $Id: Expression.owl,v 1.30 2006/01/04 07:54:55 martin Exp $ Ontology elements for capturing conditions, effects An instance of this class represents a particular logical formalism, such as KIF, SWRL, or DRS. At present we allow for zero or more URIs to be specified, which normally are references to public document(s) that define the formalism. We anticipate a variety of other properties will be added as the requirements become better understood. &swrl; &drs; &kif; &sparql; &rdql; &swrl-fol; 1 1 This property is used to refer to an "quoted" (literal) expression body. same as expressionData; for backwards compatibility This class is used to define a correspondence between a variable mentioned in an quoted expression and an OWL instance. This is useful with expression languages in which the variables can't be identified using URIs. 1 1 The value of this property is a substring of a QuotedExpression. The substring represents a variable in the language of the QuotedExpression. For example, if the QuotedExpression is in KIF, the substring would be something like "?a". The range is not defined, and so the value of this property can be any OWL instance. When used to bind an OWL-S process precondition variable, however, the value of this property must be an instance of process:Parameter. 1 This property is used to refer to an "unquoted" expression body. Condition We add the 0 cardinality specs simply to ensure that no system can define those properties for this instance. 0 0