Re: Some DAML clarification

   Maybe someone can help me out here.
   Can instances in DAML be of the type as below:

   <rule:Rule rdf:ID="first">
      <rule:If>
	<rdf:Seq>
	  <rdf:li>
	   <rule:Conclusion>
	       <rule:relator>rel1</rule:relator>
	       <rule:Var rdf:ID="var1" rule:name="nvar1" />
	       <rule:Var rdf:ID="var2" rule:name="nvar2"/>
	 </rule:Conclusion>
       </rdf:li>
       <rdf:li>
	 <rule:Premise>
	       <rule:relator>rel2</rule:relator>
	       <rule:Var rdf:ID="var3" rule:name="nvar3" />
	       <rule:Var rdf:ID="var4" rule:name="nvar4"/>
	 </rule:Premise>
	</rdf:li>
       </rdf:Seq>
       </rule:If>
     </rule:Rule>
   </rdf:RDF>

   Where rule is the basic Ontology that describes a rule being an If statement with premises and conclusion, which are defined as
   Classes with a property relator and Var ( this is a class with property name).

This is the right idea, but the trick is getting the variables
right.  For one proposal, see our SWC 2002 paper, found at 

ftp://ftp.cs.yale.edu/pub/mcdermott/papers/McDermottDou02.pdf

                                             -- Drew McDermott