]> $Id: Expression.owl,v 1.16 2005/02/03 20:04: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; 1 1 Condition Always True An empty AtomList always evaluates to true. Note that this is not equivalent to specifiying no precondition. Due to open-world semantics of OWL, it would not be possible to distinguish having no precondition from not knowing the precondition. We would need to specify a cardinality 0 restriction on precondition property to indicate that there is no precondition which would be also valid.