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

Some DAML clarification

From: Charlie Abela <abcharl@maltanet.net>
Date: Wed, 20 Mar 2002 08:49:09 -0000
To: <www-rdf-logic@w3.org>
Message-ID: <HGEBLIDFMBJHNGBAOLIKMEFECDAA.abcharl@maltanet.net>
Hi

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).

Regards
Charlie
Received on Wednesday, 20 March 2002 02:49:57 GMT

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