.
.
"$Id: dpo.nt,v 1.2 2001/06/07 20:03:01 connolly Exp $" .
.
.
.
"UniqueProperty" .
"\n compare with maxCardinality=1; e.g. integer successor:\n if P is a UniqueProperty, then if P(x, y) and P(x, z) then y=z.\n cf OIL FunctionalProperty.\n " .
.
.
.
.
"unionOf" .
"\n for unionOf(X, Y) read: X is the union of the classes in the list Y;\n i.e. if something is in any of the classes in Y, it's in X, and vice versa.\n cf OIL OR\n " .
.
.
.
"hasClass" .
"\n for onProperty(R, P) and hasClass(R, X), read:\n i is in class R if and only if for some j, P(i, j) and type(j, X).\n cf OIL HasValue\n " .
.
.
.
"UnambiguousProperty" .
"\n if P is an UnambiguousProperty, then if P(x, y) and P(z, y) then x=z.\n aka injective. e.g. if firstBorne(m, Susan)\n and firstBorne(n, Susan) then m and n are the same.\n " .
.
.
"intersectionOf" .
"\n for intersectionOf(X, Y) read: X is the intersection of the classes in the list Y;\n i.e. if something is in all the classes in Y, then it's in X, and vice versa.\n cf OIL AND\n " .
.
.
.
"sameIndividualAs" .
"\n for sameIndividualAs(a, b), read a is the same individual as b.\n " .
.
.
.
.
"minCardinality" .
"\n for onProperty(R, P) and minCardinality(R, n), read:\n i is in class R if and only if there are at least n distinct j with P(i, j).\n cf OIL MinCardinality\n " .
.
.
.
"\n for item(L, I) read: I is an item in L; either first(L, I)\n or item(R, I) where rest(L, R).\n " .
.
.
"maxCardinality" .
"\n for onProperty(R, P), maxCardinalityQ(R, n) and hasClassQ(R, X), read:\n i is in class R if and only if there are at most n distinct j with P(i, j)\n and type(j, X).\n cf OIL MaxCardinality\n " .
.
.
.
.
.
"ObjectProperty" .
"\n if P is an ObjectProperty, and P(x, y), then y is an object.\n " .
.
.
"cardinality" .
"\n for onProperty(R, P) and cardinality(R, n), read:\n i is in class R if and only if there are exactly n distinct j with P(i, j).\n cf OIL Cardinality\n " .
.
.
.
"oneOf" .
"\n for oneOf(C, L) read everything in C is one of the\n things in L;\n This lets us define classes by enumerating the members.\n cf OIL OneOf\n " .
.
.
.
"Restriction" .
"\n something is in the class R if it satisfies the attached restrictions, \n and vice versa.\n " .
.
.
"disjointWith" .
"\n for disjointWith(X, Y) read: X and Y have no members in common.\n cf OIL Disjoint\n " .
.
.
.
"equivalentTo" .
"\n for equivalentTo(X, Y), read X is an equivalent term to Y.\n " .
.
"TransitiveProperty" .
"\n if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z).\n cf OIL TransitiveProperty.\n " .
.
.
.
.
"differentIndividualFrom" .
"\n for differentIndividualFrom(a, b), read a is not the same individual as b.\n " .
.
.
.
"Thing" .
"\n The most general (object) class in DAML.\n This is equal to the union of any class and its complement.\n " .
_:0 .
.
.
.
"versionInfo" .
"\n generally, a string giving information about this\n version; e.g. RCS/CVS keywords\n " .
.