- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Wed, 3 Apr 2002 13:51:18 -0500 (EST)
- 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 UTC