$Id: owl.txt,v 1.2 2002/07/29 15:34:54 connolly Exp $ OWL Web Ontology Language W3C Web Ontology (WebOnt) Working Group OWL; Web Ontology Language; Semantic Web Classes and Properties comprising the OWL Web Ontology Language W3C 2002-07-17 text/xml en http://www.w3.org/2002/07/owl Class The class of all "object" classes Datatype The class of all datatype classes Thing The most general (object) class in OWL. This is equal to the union of any class and its complement. Nothing the class with no things in it. equivalentTo for equivalentTo(X, Y), read X is an equivalent term to Y. sameClassAs for sameClassAs(X, Y), read X is an equivalent class to Y. samePropertyAs for samePropertyAs(P, R), read P is an equivalent property to R. sameIndividualAs for sameIndividualAs(a, b), read a is the same individual as b. disjointWith for disjointWith(X, Y) read: X and Y have no members in common. differentIndividualFrom for differentIndividualFrom(a, b), read a is not the same individual as b. 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. 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. 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. 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. 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. Restriction something is in the class R if it satisfies the attached restrictions, and vice versa. onProperty for onProperty(R, P), read: R is a restricted with respect to property P. allValuesFrom for onProperty(R, P) and allValuesFrom(R, X), read: i is in class R if and only if for all j, P(i, j) implies type(j, X). hasValue for onProperty(R, P) and hasValue(R, V), read: i is in class R if and only if P(i, V). someValuesFrom for onProperty(R, P) and someValuesFrom(R, X), read: i is in class R if and only if for some j, P(i, j) and type(j, X). 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). 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). 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). ObjectProperty if P is an ObjectProperty, and P(x, y), then y is an object. DatatypeProperty if P is a DatatypeProperty, and P(x, y), then y is a data value. 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. TransitiveProperty if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z). SymmetricProperty if P is a SymmetricProperty, then if P(x, y) then P(y, x). FunctionalProperty compare with maxCardinality=1; e.g. integer successor: if P is a FunctionalProperty, then if P(x, y) and P(x, z) then y=z. InverseFunctionalProperty if P is an InverseFunctionalProperty, 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. Ontology An Ontology is a document that describes a vocabulary of terms for communication between (human and) automated agents. versionInfo generally, a string giving information about this version; e.g. RCS/CVS keywords 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.