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