]> $Id: Expression.owl,v 1.11 2004/07/26 21:12:12 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