DAML Language: Ontology Example