A name of a property, defining specific meaning for the property A collection of alternatives Identifies the resource that a statement is describing when representing the statement in reified form Identifies the property used in a statement when representing the statement in reified form Identifies the principal value (usually a string) of a property when the property value is a structured resource A triple consisting of a predicate, a subject, and an object. Identifies the Class of a resource An ordered collection An unordered collection Identifies the object of a statement when representing the statement in reified form Resources used to express RDF Schema constraints. This is how we associate a class with properties that its instances can have object PropriétéContrainte ContainerMembershipProperty subClassOf comment domain Literal Statement Indicates membership of a class Properties used to express RDF Schema constraints. Ensemble Alt Class Sequence domaine commentaire esDéfiniPar Properties that can be used in a schema to provide constraints The concept of Class Provides a human-readable version of a resource name. Indicates a resource containing and defining the subject resource. isDefinedBy subPropertyOf label Resource range Property subject predicate object Indicates a resource that provides information about the subject resource. RessourceContrainte value Bag Container seeAlso type ConstraintResource ConstraintProperty This represents the set of reified statements. Propriété Ressource Classe This represents the set of atomic values, eg. textual strings. Enveloppe Indicates membership of a class Indicates specialization of properties sujet Déclaration Use this for descriptions The most general class prédicat objet Séquence étendue Littéral sousClasseDe voirAussi The concept of a property. Choix sousPropriétéDe This represents the set Containers. generally, a string giving information about this version; e.g. RCS/CVS keywords onProperty oneOf intersectionOf Class Thing minCardinality ObjectProperty Id: daml+oil.daml,v 1.7 2001/06/06 01:38:21 mdean Exp $ something is in the class R if it satisfies the attached restrictions, and vice versa. for onProperty(R, P) and hasValue(R, V), read: i is in class R if and only if P(i, V). cf OIL HasFiller The class of all "object" classes 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". 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 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 toClass Restriction disjointUnionOf disjointWith Nothing sameIndividualAs inverseOf TransitiveProperty versionInfo for onProperty(R, P), read: R is a restricted with respect to property P. 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 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 if P is an ObjectProperty, and P(x, y), then y is an object. 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 for disjointWith(X, Y) read: X and Y have no members in common. cf OIL Disjoint for sameClassAs(X, Y), read X is an equivalent class to Y. cf OIL Equivalent 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. 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 differentIndividualFrom samePropertyAs hasValue hasClass DatatypeProperty UniqueProperty UnambiguousProperty for item(L, I) read: I is an item in L; either first(L, I) or item(R, I) where rest(L, R). Ontology imports 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 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 for equivalentTo(X, Y), read X is an equivalent term to Y. for differentIndividualFrom(a, b), read a is not the same individual as b. An Ontology is a document that describes a vocabulary of terms for communication between (human and) automated agents. 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 property for specifying class restriction with cardinalityQ constraints cardinality The most general (object) class in DAML. This is equal to the union of any class and its complement. The class of all datatype classes minCardinality 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 the empty list; this used to be called Empty. the class with no things in it. maxCardinality complementOf unionOf Datatype equivalentTo sameClassAs maxCardinality cardinality hasClassQ for samePropertyAs(P, R), read P is an equivalent property to R. if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z). cf OIL TransitiveProperty. if P is a DatatypeProperty, and P(x, y), then y is a data value. 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 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. for sameIndividualAs(a, b), read a is the same individual as b. 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 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 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 March 18. 2003, GS AllDifferent allValuesFrom backwardCompatibleWith cardinality Class complementOf DataRange DatatypeProperty DeprecatedClass DeprecatedProperty differentFrom disjointWith distinctMembers equivalentClass equivalentProperty FunctionalProperty hasValue imports incompatibleWith intersectionOf InverseFunctionalProperty inverseOf maxCardinality minCardinality Nothing ObjectProperty oneOf onProperty Ontology priorVersion Restriction sameAs sameIndividualAs someValuesFrom SymmetricProperty Thing TransitiveProperty unionOf versionInfo