|
DAML Reference
by Uche Ogbuji, Roxane Ouellet
| Pages: 1, 2, 3,
4
daml:hasValue
property is used to specify that a property must have at least one value
equivalent to the specified value.
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.
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.
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.
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.
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.
daml:maxCardinality
determine the maximum number of possible values for a given property.
daml:maxCardinalityQ
determine the maximum number of possible values of a certain rdf:type
for a given property.
daml:minCardinality
determine the minimum number of possible values for a given
property.
daml:minCardinalityQ
determine the minimum number of possible values of a certain rdf:type
for a given property.
daml:nil
represents the empty list, used as the value of daml:rest
when no more items are in the daml:List.
daml:onProperty
property is used on a daml:Restriction
class to specify the property the restriction will act on.
daml:onProperty property refers to a property name (a URI) by the
attribute rdf:resource.
daml:oneOf
property lists all the things that are instances of the domain. This lets
us define classes by enumerating the members.
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.
daml:sameClassAs
property means that the value of the property is an equivalent class to
its subject.
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).
daml:sameIndividualAs
property states that the value of the property is the same individual as
its subject.
daml:samePropertyAs
defines that the value is an equivalent property to its subject.
daml:samePropertyAs asserts that the subject is equivalent to the named
property (i.e. they must have the same instances).
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>
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.
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.
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.
 |
