W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2002

Re: Some DAML clarification

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Wed, 3 Apr 2002 13:51:18 -0500 (EST)
Message-Id: <200204031851.g33IpI927126@pantheon-po02.its.yale.edu>
To: abcharl@maltanet.net
CC: www-rdf-logic@w3.org

   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
Received on Wednesday, 3 April 2002 13:51:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:42 GMT