DAML: An Example


<rdfs:Class about="#Animal"/>
<rdfs:Class about="#Plant">
  <daml:disjointFrom resource="#Animal"/>
</rdfs:Class>