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