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:Var rdf:ID="var1" rule:name="nvar1" />
	       <rule:Var rdf:ID="var2" rule:name="nvar2"/>
	       <rule:Var rdf:ID="var3" rule:name="nvar3" />
	       <rule:Var rdf:ID="var4" rule:name="nvar4"/>

   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 


                                             -- Drew McDermott
Received on Wednesday, 3 April 2002 13:51:24 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:37 UTC