The DAML+OIL
<:daml:Class rdf:ID="foo" />
is expressed as
class foo ()
similarly the DAML+OIL:
<daml:Property rdf:about="http://example.org/ont#prop" />
is expressed as:
namespace ex = ""http://example.org/ont#" property ex:prop ()
The DAML+OIL:
<daml:Class rdf:ID="bar"> <daml:subClassOf rdf:resource="#foo"/> </daml:Class>
as
class bar( 
     subClassOf foo 
	 )
<daml:Class>
   <daml:subClassOf rdf:resource="#bar"/>
   <daml:subClassOf>
      <daml:Class>
         <daml:Restriction>
            <daml:onProperty rdf:resource="#prop"/>
            <daml:toClass rdf:resource="#foo"/>
         </daml:Restriction>
      </daml:Class>
    </daml:subClassOf>
</daml:Class>
becomes
class ( 
    subClassOf bar, 
    subClassOf 
        class (
            property prop(
                      range(class foo)
                      )
        )
    )