Return to daml-ex.daml CVS log

Up to [Public] / daml-2000-10

Initial revision

<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns     ="http://www.daml.org/2000/10/daml-ont#"
  xmlns:daml="http://www.daml.org/2000/10/daml-ont#"
  >

<Ontology about="">
  <versionInfo>$Id: daml-ex.daml,v 1.2 2000/10/07 03:21:17 connolly Exp $</versionInfo>
  <comment>An example ontology</comment>
  <imports resource="http://www.daml.org/2000/10/daml-ont"/>
</Ontology>

<Class ID="Animal">
  <label>Animal</label>
  <comment>This class of animals is illustrative of a number of
	ontological idioms.</comment>
</Class>

<Class ID="Male">
  <subClassOf resource="#Animal"/>
</Class>

<Class ID="Female">
  <subClassOf resource="#Animal"/>
  <disjointFrom resource="#Male"/>
</Class>

<Property ID="parent">
  <domain resource="#Animal"/>
  <cardinality>2</cardinality>
</Property>

<Class ID="Person">
  <subClassOf resource="#Animal"/>
  <restrictedBy>
    <Restriction>
      <onProperty resource="#parent"/>
      <toClass resource="#Person"/>
    </Restriction>
  </restrictedBy>
</Class>

<Property ID="father">
  <subProperty resource="#parent"/>
  <range resource="#Man"/>
  <cardinality>1</cardinality>
</Property>

<UniqueProperty ID="mother">
  <subProperty resource="#parent"/>
  <range resource="#Woman"/>
</UniqueProperty>

<!-- need an example for UnambiguousProperty -->

<Property ID="child">
  <inverseOf resource="#parent"/>
</Property>

<TransitiveProperty ID="ancestor">
  <label>ancestor</label>
</TransitiveProperty>

<TransitiveProperty ID="descendant"/>

<Property ID="mom">
  <equivalentTo resource="#mother"/>
</Property>

<Property ID="occupation">
  <maxCardinality>1</maxCardinality>
</Property>

<Class ID="Car">
  <comment>no car is a person</comment>
  <subClassOf>
    <Class>
      <complementOf resource="#Person"/>
    </Class>
  </subClassOf>
</Class>

<Class ID="Man">
  <subClassOf resource="#Person"/>
  <subClassOf resource="#Male"/>
</Class>

<Class ID="Woman">
  <subClassOf resource="#Person"/>
  <subClassOf resource="#Female"/>
</Class>

<!-- @@CAVEAT: daml:collection is an extension of RDF 1.0 syntax;
     don't expect existing tools to support it.
     @@TODO: specify how it works, implement it. -->

<Class about="#Person">
  <comment>every person is a man or a woman</comment>
  <disjointUnionOf parseType="daml:collection">
    <Class about="#Man"/>
    <Class about="#Woman"/>
  </disjointUnionOf>
</Class>

<Person ID="Adam">
  <label>Adam</label>
  <comment>Adam is a person.</comment>
</Person>

<Property ID="height">
  <domain resource="#Person"/>
  <range resource="#Height"/>
</Property>

<Class ID="Height">
  <oneOf parseType="daml:collection">
    <Height ID="short"/>
    <Height ID="medium"/>
    <Height ID="tall"/>
  </oneOf>
</Class>

<Class ID="TallThing">
  <restrictedBy>
    <Restriction>
      <onProperty resource="#height"/>
      <toValue resource="#tall"/>
    </Restriction>
  </restrictedBy>
</Class>

<!-- @@ need example of hasValue qualification -->

<!-- @@ lack Disjoint example -->

<Class ID="TallMan">
  <intersectionOf parseType="daml:collection">
    <Class about="#TallThing"/>
    <Class about="#Man"/>
  </intersectionOf>
</Class>

<!-- @@ example of subProperty, label, comment, etc. from RDF/RDFS -->

</rdf:RDF>