00094.owl
type: Ontology
type: NamedIndividual
version info: $Id: wsdl-ont.daml,v 0.5 2002/09/016 Exp $
comment: Web Services Description Language(WSDL) Schema in DAML. see "http://schemas.xmlsoap.org/wsdl/"

sameClassAs
type: AnnotationProperty
comment: for sameClassAs(X, Y), read X is an equivalent class to Y. cf OIL Equivalent
subPropertyOf: equivalentTo
type: ObjectProperty
subPropertyOf: subClassOf
domain: Class
range: Class
type: NamedIndividual
type: Property

maxCardinality
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

toClass
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: Class

intersectionOf
type: AnnotationProperty
comment: 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
domain: Class
type: ObjectProperty
range: List

hasClass
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: Class

oneOf
type: AnnotationProperty
comment: 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
domain: Class
type: ObjectProperty
range: List

subClassOf
type: AnnotationProperty
comment: The subject is a subclass of a class.
domain: Class
type: ObjectProperty
range: Class

differentIndividualFrom
type: AnnotationProperty
comment: for differentIndividualFrom(a, b), read a is not the same individual as b.
domain: Thing
type: ObjectProperty
range: Thing
type: NamedIndividual
type: Property

sameIndividualAs
type: AnnotationProperty
comment: for sameIndividualAs(a, b), read a is the same individual as b.
subPropertyOf: equivalentTo
domain: Thing
type: ObjectProperty
range: Thing
type: NamedIndividual
type: Property

inverseOf
type: AnnotationProperty
comment: 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
domain: ObjectProperty
type: ObjectProperty
range: ObjectProperty

subPropertyOf
type: AnnotationProperty
comment: The subject is a subproperty of a property.
domain: Property
type: ObjectProperty
range: Property

hasValue
type: AnnotationProperty
comment: for onProperty(R, P) and hasValue(R, V), read: i is in class R if and only if P(i, V). cf OIL HasFiller
domain: Restriction

hasClassQ
type: AnnotationProperty
comment: property for specifying class restriction with cardinalityQ constraints
domain: Restriction
type: ObjectProperty
range: Class

item
type: AnnotationProperty
comment: for item(L, I) read: I is an item in L; either first(L, I) or item(R, I) where rest(L, R).
domain: List

minCardinality
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

onProperty
type: AnnotationProperty
comment: for onProperty(R, P), read: R is a restricted with respect to property P.
domain: Restriction
type: ObjectProperty
range: Property

minCardinality
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

disjointUnionOf
type: AnnotationProperty
comment: 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: Class
type: ObjectProperty
range: List

domain
type: AnnotationProperty
comment: A domain of the subject property.
domain: Property
type: ObjectProperty
range: Class

unionOf
type: AnnotationProperty
comment: 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
domain: Class
type: ObjectProperty
range: List

equivalentTo
comment: for equivalentTo(X, Y), read X is an equivalent term to Y.
type: NamedIndividual
type: Property

maxCardinality
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

label
comment: A human-readable name for the subject.
range: Literal
domain: Resource

samePropertyAs
type: AnnotationProperty
comment: for samePropertyAs(P, R), read P is an equivalent property to R.
subPropertyOf: equivalentTo
type: ObjectProperty
subPropertyOf: subPropertyOf
type: NamedIndividual
type: Property

cardinality
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

comment
comment: A description of the subject resource.
range: Literal
domain: Resource

cardinality
type: AnnotationProperty
comment: 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
domain: Restriction
type: ObjectProperty
range: nonNegativeInteger

member
type: AnnotationProperty
comment: A member of the subject resource.
domain: Resource
type: ObjectProperty
range: Resource

seeAlso
comment: Further information about the subject resource.
domain: Resource
range: Resource

range
type: AnnotationProperty
comment: A range of the subject property.
domain: Property
type: ObjectProperty
range: Class

isDefinedBy
comment: The defininition of the subject resource.
domain: Resource
range: Resource
subPropertyOf: seeAlso

disjointWith
type: AnnotationProperty
comment: for disjointWith(X, Y) read: X and Y have no members in common. cf OIL Disjoint
domain: Class
type: ObjectProperty
range: Class

complementOf
type: AnnotationProperty
comment: 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
domain: Class
type: ObjectProperty
range: Class

Literal
comment: The class of literal values, eg. textual strings and integers.
type: Class
subclass of: Resource

Binding
type: Class
subclass of: ExtensibleDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1
subclass of: Restriction
  on property: type
  min cardinality: 1

BindingOperation
type: Class
subclass of: ExtensibleDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1

BindingOperationFault
type: Class
subclass of: ExtensibleDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1

Documented
type: Class
comment: This type is extended by component types to allow them to be documented.

ExtensibleAttributesDocumented
type: Class
subclass of: Documented
comment: This type is extended by component types to allow attributes from other namespaces to be added.

ExtensibleDocumented
type: Class
subclass of: Documented
comment: This type is extended by component types to allow attributes from other namespaces to be added.

Fault
type: Class
subclass of: ParamFault
subclass of: Restriction
  on property: name
  min cardinality: 1

Import
type: Class
subclass of: ExtensibleAttributesDocumented
subclass of: Restriction
  on property: namespace
  min cardinality: 1
subclass of: Restriction
  on property: location
  min cardinality: 1

Message
type: Class
subclass of: ExtensibleDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1

NotificationOperation
type: Class
subclass of: Operation
subclass of: Restriction
  on property: output
  cardinality: 1

OneWayOperation
type: Class
subclass of: Operation
subclass of: Restriction
  on property: input
  cardinality: 1

Operation
type: Class
subclass of: ExtensibleDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1

ParamFault
type: Class
subclass of: ExtensibleAttributesDocumented
subclass of: Restriction
  on property: paramMessage
  min cardinality: 1

Part
type: Class
subclass of: ExtensibleAttributesDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1

Port
type: Class
subclass of: ExtensibleDocumented
subclass of: Restriction
  on property: name
  cardinality: 1
subclass of: Restriction
  on property: binding
  cardinality: 1

PortType
type: Class
subclass of: ExtensibleAttributesDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1

RequestResponseOperation
type: Class
subclass of: Operation
intersection of: <daml:Restriction daml:cardinality="1"> <daml:onProperty rdf:resource="#input"></daml:onProperty> </daml:Restriction> <daml:Restriction daml:cardinality="1"> <daml:onProperty rdf:resource="#output"></daml:onProperty> </daml:Restriction>

Service
type: Class
subclass of: ExtensibleDocumented
subclass of: Restriction
  on property: name
  min cardinality: 1

SolicitResponseOperation
type: Class
subclass of: Operation
intersection of: <daml:Restriction daml:cardinality="1"> <daml:onProperty rdf:resource="#output"></daml:onProperty> </daml:Restriction> <daml:Restriction daml:cardinality="1"> <daml:onProperty rdf:resource="#input"></daml:onProperty> </daml:Restriction>

Class
subclass of: Class
comment: The class of all "object" classes

Datatype
type: Class
subclass of: Class
comment: The class of all datatype classes

DatatypeProperty
type: Class
subclass of: Property
comment: if P is a DatatypeProperty, and P(x, y), then y is a data value.

Nothing
type: Class
equivalent class: Class
  complement of: Thing
comment: the class with no things in it.

ObjectProperty
type: Class
subclass of: Property
comment: if P is an ObjectProperty, and P(x, y), then y is an object.

Ontology
comment: An Ontology is a document that describes a vocabulary of terms for communication between (human and) automated agents.

Restriction
type: Class
subclass of: Class
comment: something is in the class R if it satisfies the attached restrictions, and vice versa.

Thing
type: Class
union of: <rdfs:Class rdf:about="#Nothing"></rdfs:Class> <rdfs:Class> </rdfs:Class>
comment: The most general (object) class in DAML. This is equal to the union of any class and its complement.

TransitiveProperty
type: Class
subclass of: ObjectProperty
comment: if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z). cf OIL TransitiveProperty.

UnambiguousProperty
type: Class
subclass of: ObjectProperty
comment: 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
type: Class
subclass of: Property
comment: 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.

Class
subclass of: Resource
comment: The class of classes.

Container
type: Class
subclass of: Resource
comment: The class of RDF containers.

ContainerMembershipProperty
type: Class
subclass of: Property
comment: The class of container membership properties, rdf:_1, rdf:_2, ..., all of which are sub-properties of 'member'.

Datatype
type: Class
subclass of: Class
comment: The class of RDF datatypes.

Resource
comment: The class resource, everything.

daml+oil
type: NamedIndividual
type: Ontology
version info: $Id: daml+oil.daml,v 1.7 2001/06/06 01:38:21 mdean Exp $

nil
type: NamedIndividual
type: List
comment: the empty list; this used to be called Empty.

imports
comment: 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".

versionInfo
comment: generally, a string giving information about this version; e.g. RCS/CVS keywords