DAML Reference
Pages: 1, 2, 3, 4
5.23. daml:hasValue
| rdf:type | daml:Property |
| rdfs:domain | daml:Restriction |
daml:hasValue property is used to specify that a property must have at least one value equivalent to the specified value.
5.23.1. Syntax
daml:hasValue property contains a reference to an individual object or a datatype value and defines the class of all objects for whom the property has at least one value equal to the named object or datatype value.
5.24. daml:imports
| rdf:type | daml:Property |
5.24.1. Syntax
Each daml:imports statement references another DAML+OIL ontology containing definitions that apply to the current DAML+OIL resource. Each reference consists of a URI specifying where the ontology is to be imported from. daml:imports are transitive.
5.25. daml:intersectionOf
| rdf:type | daml:Property |
| rdfs:domain | daml:Class |
| rdfs:range | daml:List |
daml:intersectionOf property means that the defined class contains all the instances that belong to all the classes in the list. In our example, the #HikingShoes class instances must be instances of both #HikingGear and #Footwear.
5.25.1. Syntax
daml:intersectionOf contains a list of class-expressions and defines the class that consists of exactly all the objects that are common to all class-expressions from the list. It is analogous to logical conjunction.
5.26. daml:inverseOf
| rdf:type | daml:Property |
| rdfs:domain | daml:ObjectProperty |
| rdfs:range | daml:ObjectProperty |
daml:inverseOf property means that it is the inverse of another property. For example, a product is used for a specific activity, an ice axe for mountaineering. The inverse relation is that one instance of mountaineering gear is an ice axe. Here #gear is the daml:inverseOf #usedFor.
5.27. daml:item
| rdfs:domain | daml:ObjectProperty |
daml:item property represents an item in a daml:List, it is either a daml:first element or a part of the daml:rest.
5.28. daml:maxCardinality
| rdf:type | daml:Property |
| rdfs:domain | daml:Restriction |
| rdfs:range | xsd:nonNegativeInteger |
daml:maxCardinality determine the maximum number of possible values for a given property.
5.29. daml:maxCardinalityQ
| rdf:type | daml:Property |
| rdfs:domain | daml:Restriction |
| rdfs:range | xsd:nonNegativeInteger |
daml:maxCardinalityQ determine the maximum number of possible values of a certain rdf:type for a given property.
5.30. daml:minCardinality
| rdf:type | daml:Property |
| rdfs:domain | daml:Restriction |
| rdfs:range | xsd:nonNegativeInteger |
daml:minCardinality determine the minimum number of possible values for a given property.
5.31. daml:minCardinalityQ
| rdf:type | daml:Property |
| rdfs:domain | daml:Restriction |
| rdfs:range | xsd:nonNegativeInteger |
daml:minCardinalityQ determine the minimum number of possible values of a certain rdf:type for a given property.
5.32. daml:nil
| rdf:type | daml:List |
daml:nil represents the empty list, used as the value of daml:rest when no more items are in the daml:List.
5.33. daml:onProperty
| rdf:type | daml:Property |
| rdfs:domain | daml:Restriction |
| rdfs:range | rdf:Property |
5.33.1. Syntax
daml:onProperty property refers to a property name (a URI) by the attribute rdf:resource.
5.34. daml:oneOf
| rdf:type | daml:Property |
| rdfs:domain | daml:Class |
| rdfs:range | daml:List |
daml:oneOf property lists all the things that are instances of the domain. This lets us define classes by enumerating the members.
5.34.1. Syntax
daml:oneOf contains a list of the objects that are its instances. The class defined by the daml:oneOf property contains exactly the enumerated objects, declared using daml:Thing.
5.35. daml:rest
| rdf:type | daml:Property |
| rdfs:domain | daml:List |
| rdfs:range | daml:List |
daml:rest represents all parts of daml:List except daml:first.
5.36. daml:sameClassAs
| rdf:type | daml:Property |
| rdfs:domain | daml:Class |
| rdfs:range | daml:Class |
| rdfs:subPropertyOf | daml:equivalentTo |
| rdfs:subPropertyOf | rdfs:subClassOf |
daml:sameClassAs property means that the value of the property is an equivalent class to its subject.
5.36.1. Syntax
daml:sameClassAs property asserts that the subject is equivalent to the class-expression(i.e. the subject and all the class-expression must have the same instances).
5.37. daml:sameIndividualAs
| rdf:type | daml:Property |
| rdfs:domain | daml:Thing |
| rdfs:range | daml:Thing |
| rdfs:subPropertyOf | daml:equivalentTo |
daml:sameIndividualAs property states that the value of the property is the same individual as its subject.
5.38. daml:samePropertyAs
| rdf:type | daml:Property |
| rdfs:subPropertyOf | daml:equivalentTo |
| rdfs:subPropertyOf | rdfs:subPropertyOf |
daml:samePropertyAs defines that the value is an equivalent property to its subject.
5.38.1. Syntax
daml:samePropertyAs asserts that the subject is equivalent to the named property (i.e. they must have the same instances).
5.39. daml:toClass
| rdf:type | daml:Property |
| rdfs:domain | daml:Restriction |
| rdfs:range | rdfs:Class |
The daml:toClass property means that only instances of the specified class can be values of the property. For example, an obsolete activity is one for which all its gear has been discontinued.
<daml:Class rdf:ID="ObsoleteActivity">
<rdfs:label>Obsolete activity</rdfs:label>
<rdfs:comment>Activities for which all related
products have been discontinued</rdfs:comment>
<daml:intersectionOf rdf:parseType="daml:collection">
<daml:Class rdf:resource="#Activity"/>
<daml:Restriction>
<daml:onProperty rdf:resource="#gear"/>
<daml:toClass rdf:resource="#DiscontinuedProduct"/>
</daml:Restriction>
</daml:intersectionOf>
</daml:Class>
5.39.1. Syntax
The daml:toClass property contains a class-expressions and defines the class of all objects for whom the values of the property all belong to the class-expressions.
5.40. daml:unionOf
| rdf:type | daml:Property |
| rdfs:domain | daml:Class |
| rdfs:range | daml:List |
The daml:unionOf property means that a class contains all the instances of all the classes it is the unionOf. For example, all camping and hiking products are considered family products.
5.40.1. Syntax
daml:unionOf contains a list of class-expressions and defines the class that consists of all the objects that belong to at least one of the class-expressions from the list. It is analogous to logical disjunction.
5.41. daml:versionInfo
| rdf:type | daml:Property |
daml:versionInfo is an arbitrary value that describes versioning information for the document. It can be a simple string, as we have it here, or a complex RDF or literal XML structure.
