sameClassAs
for sameClassAs(X, Y), read X is an equivalent class to Y.
cf OIL Equivalent
intersectionOf
for intersectionOf(X, Y) read: X is the intersection of the classes in the list Y;
i.e. if something is in all the classes in Y, then it's in X, and vice versa.
cf OIL AND
oneOf
for oneOf(C, L) read everything in C is one of the
things in L;
This lets us define classes by enumerating the members.
cf OIL OneOf
subClassOf
The subject is a subclass of a class.
inverseOf
for inverseOf(R, S) read: R is the inverse of S; i.e.
if R(x, y) then S(y, x) and vice versa.
cf OIL inverseRelationOf
hasValue
for onProperty(R, P) and hasValue(R, V), read:
i is in class R if and only if P(i, V).
cf OIL HasFiller
subPropertyOf
The subject is a subproperty of a property.
hasClassQ
property for specifying class restriction with cardinalityQ constraints
onProperty
for onProperty(R, P), read:
R is a restricted with respect to property P.
disjointUnionOf
for disjointUnionOf(X, Y) read: X is the disjoint union of the classes in
the list Y: (a) for any c1 and c2 in Y, disjointWith(c1, c2),
and (b) unionOf(X, Y). i.e. if something is in any of the classes in Y, it's
in X, and vice versa.
cf OIL disjoint-covered
domain
A domain of the subject property.
object
The object of the subject RDF statement.
type
The subject is an instance of a class.
comment
A description of the subject resource.
range
A range of the subject property.
isDefinedBy
The defininition of the subject resource.
rest
The rest of the subject RDF list after the first item.
complementOf
for complementOf(X, Y) read: X is the complement of Y; if something is in Y,
then it's not in X, and vice versa.
cf OIL NOT
maxCardinality
for onProperty(R, P), maxCardinalityQ(R, n) and hasClassQ(R, X), read:
i is in class R if and only if there are at most n distinct j with P(i, j)
and type(j, X).
cf OIL MaxCardinality
toClass
for onProperty(R, P) and toClass(R, X), read:
i is in class R if and only if for all j, P(i, j) implies type(j, X).
cf OIL ValueType
predicate
The predicate of the subject RDF statement.
first
The first item in the subject RDF list.
hasClass
for onProperty(R, P) and hasClass(R, X), read:
i is in class R if and only if for some j, P(i, j) and type(j, X).
cf OIL HasValue
differentIndividualFrom
for differentIndividualFrom(a, b), read a is not the same individual as b.
sameIndividualAs
for sameIndividualAs(a, b), read a is the same individual as b.
subject
The subject of the subject RDF statement.
value
Idiomatic property used for structured values.
for item(L, I) read: I is an item in L; either first(L, I)
or item(R, I) where rest(L, R).
minCardinality
for onProperty(R, P), minCardinalityQ(R, n) and hasClassQ(R, X), read:
i is in class R if and only if there are at least n distinct j with P(i, j)
and type(j, X).
cf OIL MinCardinality
minCardinality
for onProperty(R, P) and minCardinality(R, n), read:
i is in class R if and only if there are at least n distinct j with P(i, j).
cf OIL MinCardinality
unionOf
for unionOf(X, Y) read: X is the union of the classes in the list Y;
i.e. if something is in any of the classes in Y, it's in X, and vice versa.
cf OIL OR
equivalentTo
for equivalentTo(X, Y), read X is an equivalent term to Y.
maxCardinality
for onProperty(R, P) and maxCardinality(R, n), read:
i is in class R if and only if there are at most n distinct j with P(i, j).
cf OIL MaxCardinality
label
A human-readable name for the subject.
samePropertyAs
for samePropertyAs(P, R), read P is an equivalent property to R.
cardinality
for onProperty(R, P), cardinalityQ(R, n) and hasClassQ(R, X), read:
i is in class R if and only if there are exactly n distinct j with P(i, j)
and type(j, X).
cf OIL Cardinality
cardinality
for onProperty(R, P) and cardinality(R, n), read:
i is in class R if and only if there are exactly n distinct j with P(i, j).
cf OIL Cardinality
member
A member of the subject resource.
seeAlso
Further information about the subject resource.
disjointWith
for disjointWith(X, Y) read: X and Y have no members in common.
cf OIL Disjoint
PlainLiteral
The class of plain (i.e. untyped) literal values.
XMLLiteral
The class of XML literal values.
cardinality
for onProperty(R, P) and cardinality(R, n), read:
i is in class R if and only if there are exactly n distinct j with P(i, j).
cf OIL Cardinality
cardinality
for onProperty(R, P), cardinalityQ(R, n) and hasClassQ(R, X), read:
i is in class R if and only if there are exactly n distinct j with P(i, j)
and type(j, X).
cf OIL Cardinality
complementOf
for complementOf(X, Y) read: X is the complement of Y; if something is in Y,
then it's not in X, and vice versa.
cf OIL NOT
differentIndividualFrom
for differentIndividualFrom(a, b), read a is not the same individual as b.
disjointUnionOf
for disjointUnionOf(X, Y) read: X is the disjoint union of the classes in
the list Y: (a) for any c1 and c2 in Y, disjointWith(c1, c2),
and (b) unionOf(X, Y). i.e. if something is in any of the classes in Y, it's
in X, and vice versa.
cf OIL disjoint-covered
disjointWith
for disjointWith(X, Y) read: X and Y have no members in common.
cf OIL Disjoint
hasClass
for onProperty(R, P) and hasClass(R, X), read:
i is in class R if and only if for some j, P(i, j) and type(j, X).
cf OIL HasValue
hasClassQ
property for specifying class restriction with cardinalityQ constraints
intersectionOf
for intersectionOf(X, Y) read: X is the intersection of the classes in the list Y;
i.e. if something is in all the classes in Y, then it's in X, and vice versa.
cf OIL AND
inverseOf
for inverseOf(R, S) read: R is the inverse of S; i.e.
if R(x, y) then S(y, x) and vice versa.
cf OIL inverseRelationOf
maxCardinality
for onProperty(R, P) and maxCardinality(R, n), read:
i is in class R if and only if there are at most n distinct j with P(i, j).
cf OIL MaxCardinality
maxCardinality
for onProperty(R, P), maxCardinalityQ(R, n) and hasClassQ(R, X), read:
i is in class R if and only if there are at most n distinct j with P(i, j)
and type(j, X).
cf OIL MaxCardinality
minCardinality
for onProperty(R, P) and minCardinality(R, n), read:
i is in class R if and only if there are at least n distinct j with P(i, j).
cf OIL MinCardinality
minCardinality
for onProperty(R, P), minCardinalityQ(R, n) and hasClassQ(R, X), read:
i is in class R if and only if there are at least n distinct j with P(i, j)
and type(j, X).
cf OIL MinCardinality
onProperty
for onProperty(R, P), read:
R is a restricted with respect to property P.
oneOf
for oneOf(C, L) read everything in C is one of the
things in L;
This lets us define classes by enumerating the members.
cf OIL OneOf
sameClassAs
for sameClassAs(X, Y), read X is an equivalent class to Y.
cf OIL Equivalent
sameIndividualAs
for sameIndividualAs(a, b), read a is the same individual as b.
samePropertyAs
for samePropertyAs(P, R), read P is an equivalent property to R.
toClass
for onProperty(R, P) and toClass(R, X), read:
i is in class R if and only if for all j, P(i, j) implies type(j, X).
cf OIL ValueType
unionOf
for unionOf(X, Y) read: X is the union of the classes in the list Y;
i.e. if something is in any of the classes in Y, it's in X, and vice versa.
cf OIL OR
first
The first item in the subject RDF list.
object
The object of the subject RDF statement.
predicate
The predicate of the subject RDF statement.
rest
The rest of the subject RDF list after the first item.
subject
The subject of the subject RDF statement.
type
The subject is an instance of a class.
value
Idiomatic property used for structured values.
domain
A domain of the subject property.
member
A member of the subject resource.
range
A range of the subject property.
subClassOf
The subject is a subclass of a class.
subPropertyOf
The subject is a subproperty of a property.
Class
The class of all "object" classes
Datatype
The class of all datatype classes
DatatypeProperty
if P is a DatatypeProperty, and P(x, y), then y is a data value.
Nothing
the class with no things in it.
ObjectProperty
if P is an ObjectProperty, and P(x, y), then y is an object.
Ontology
An Ontology is a document that describes
a vocabulary of terms for communication between
(human and) automated agents.
Restriction
something is in the class R if it satisfies the attached restrictions,
and vice versa.
Thing
<rdfs:Class rdf:about="#Nothing"></rdfs:Class>
<rdfs:Class>
<complementOf rdf:resource="#Nothing"></complementOf>
</rdfs:Class>
The most general (object) class in DAML.
This is equal to the union of any class and its complement.
TransitiveProperty
if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z).
cf OIL TransitiveProperty.
UnambiguousProperty
if P is an UnambiguousProperty, then if P(x, y) and P(z, y) then x=z.
aka injective. e.g. if firstBorne(m, Susan)
and firstBorne(n, Susan) then m and n are the same.
UniqueProperty
compare with maxCardinality=1; e.g. integer successor:
if P is a UniqueProperty, then if P(x, y) and P(x, z) then y=z.
cf OIL FunctionalProperty.
Alt
The class of containers of alternatives.
Bag
The class of unordered containers.
List
The class of RDF Lists.
PlainLiteral
The class of plain (i.e. untyped) literal values.
Property
The class of RDF properties.
Seq
The class of ordered containers.
Statement
The class of RDF statements.
XMLLiteral
The class of XML literal values.
Class
The class of classes.
Container
The class of RDF containers.
ContainerMembershipProperty
The class of container membership properties, rdf:_1, rdf:_2, ...,
all of which are sub-properties of 'member'.
Datatype
The class of RDF datatypes.
Literal
The class of literal values, eg. textual strings and integers.
Resource
The class resource, everything.
$Id: daml+oil.daml,v 1.7 2001/06/06 01:38:21 mdean Exp $
differentIndividualFrom
for differentIndividualFrom(a, b), read a is not the same individual as b.
equivalentTo
for equivalentTo(X, Y), read X is an equivalent term to Y.
the empty list; this used to be called Empty.
sameClassAs
for sameClassAs(X, Y), read X is an equivalent class to Y.
cf OIL Equivalent
sameIndividualAs
for sameIndividualAs(a, b), read a is the same individual as b.
samePropertyAs
for samePropertyAs(P, R), read P is an equivalent property to R.
Property
The class of RDF properties.
Literal
The class of literal values, eg. textual strings and integers.
imports
for imports(X, Y) read: X imports Y;
i.e. X asserts the* contents of Y by reference;
i.e. if imports(X, Y) and you believe X and Y says something,
then you should believe it.
Note: "the contents" is, in the general case,
an il-formed definite description. Different
interactions with a resource may expose contents
that vary with time, data format, preferred language,
requestor credentials, etc. So for "the contents",
read "any contents".
nil
The empty list, with no items in it. If the rest of a list is nil then the list has no more items in it.
Project
A Robotics Institute Research Project
versionInfo
generally, a string giving information about this
version; e.g. RCS/CVS keywords