00279.owl
type: Ontology
type: NamedIndividual
version info: $Id: iw.daml,v 0.6, 07/16/03, Paulo Pinheiro da Silva $

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

predicate
type: AnnotationProperty
comment: The predicate of the subject RDF statement.
domain: Statement
type: ObjectProperty
range: Resource

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

first
type: AnnotationProperty
comment: The first item in the subject RDF list.
domain: List
type: ObjectProperty
range: Resource

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

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

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

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

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

subject
type: AnnotationProperty
comment: The subject of the subject RDF statement.
domain: Statement
type: ObjectProperty
range: Resource

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

value
type: AnnotationProperty
comment: Idiomatic property used for structured values.
domain: Resource
type: ObjectProperty
range: Resource

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

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

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

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

object
type: AnnotationProperty
comment: The object of the subject RDF statement.
domain: Statement
type: ObjectProperty
range: Resource

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

type
type: AnnotationProperty
comment: The subject is an instance of a class.
domain: Resource
type: ObjectProperty
range: Class

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

rest
type: AnnotationProperty
comment: The rest of the subject RDF list after the first item.
domain: List
type: ObjectProperty
range: List

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

PlainLiteral
type: Datatype
comment: The class of plain (i.e. untyped) literal values.
type: Class
subclass of: Literal

XMLLiteral
type: Datatype
comment: The class of XML literal values.
type: Class
subclass of: Literal

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

EnglishDescriptionTemplate
type: ObjectProperty
comment: The structure of templates for presenting English explanations in English is not defined yet. A string (rdf-schema Literal) is used to handle the template in this version of the IW spec.
range: Literal
type: DatatypeProperty
type: NamedIndividual
type: UniqueProperty

AbstractInferenceRule
type: Class
subclass of: RegistryElement
subclass of: Restriction
  on property: TacticOfAxiom
  max cardinality: 1
subclass of: Restriction
  on property: EnglishDescriptionTemplate
  max cardinality: 1

Axiom
type: Class
subclass of: RegistryElement
subclass of: Restriction
  on property: AxiomContent
  cardinality: 1
subclass of: Restriction
  on property: OptimizationParam
  max cardinality: 1

DerivedRule
type: Class
subclass of: AbstractInferenceRule
subclass of: Restriction
  on property: DescribedFrom
  cardinality: 1

InferenceEngine
type: Class
subclass of: RegistryElement
subclass of: Restriction
  on property: InferenceEngineRule
  min cardinality: 1
subclass of: Restriction
  on property: Version
  cardinality: 1

InferenceStep
type: Class
subclass of: Error5
subclass of: Error6
subclass of: Error7
subclass of: Restriction
  on property: hasInferenceEngine
  min cardinality: 1
subclass of: Restriction
  on property: hasRule
  min cardinality: 1
subclass of: Restriction
  on property: fromAnswer
  max cardinality: 1
subclass of: Restriction
  on property: hasAntecedent
  min cardinality: 1

Language
type: Class
subclass of: RegistryElement
subclass of: Restriction
  on property: hasLanguageAxiomSet
  min cardinality: 1

LanguageAxiomSet
type: Class
subclass of: Ontology
subclass of: Restriction
  on property: hasAxiom
  min cardinality: 1

Ontology
type: Class
subclass of: Source
subclass of: Restriction
  on property: Version
  cardinality: 1

PrimitiveRule
type: Class
subclass of: AbstractInferenceRule
subclass of: Restriction
  on property: Conclusion
  cardinality: 1

ProceduralRule
type: Class
subclass of: PrimitiveRule
subclass of: Restriction
  on property: VerificationProcedure
  max cardinality: 1

Publication
type: Class
subclass of: Source
subclass of: Restriction
  on property: Date
  cardinality: 1
subclass of: Restriction
  on property: hasAuthor
  min cardinality: 1

Query
type: Class
subclass of: Error2
subclass of: Restriction
  on property: isWrittenIn
  max cardinality: 1
subclass of: Restriction
  on property: QueryContent
  cardinality: 1
subclass of: Restriction
  on property: isQueryFor
  max cardinality: 1
subclass of: Restriction
  on property: isFromEngine
  cardinality: 1

QueryLanguage
type: Class
subclass of: RegistryElement
subclass of: Restriction
  on property: Version
  cardinality: 1

Question
type: Class
subclass of: Restriction
  on property: hasAnswerPattern
  max cardinality: 1
subclass of: Restriction
  on property: QuestionContent
  cardinality: 1

RegistryElement
type: Class
subclass of: Restriction
  on property: EnglishDescription
  max cardinality: 1
subclass of: Restriction
  on property: Submitter
  cardinality: 1
subclass of: Restriction
  on property: FirstSubmissionDate
  cardinality: 1
subclass of: Restriction
  on property: LastSubmissionDate
  cardinality: 1
subclass of: Restriction
  on property: hasSource
  min cardinality: 0
subclass of: Restriction
  on property: URL
  cardinality: 1
subclass of: Restriction
  on property: Name
  cardinality: 1
subclass of: Restriction
  on property: EnglishExample
  max cardinality: 1

Source
type: Class
subclass of: RegistryElement
subclass of: Restriction
  on property: QualifyingOrganization
  min cardinality: 1

Team
type: Class
subclass of: Source
subclass of: Restriction
  on property: hasMember
  min cardinality: 0

VariableMapping
type: Class
subclass of: Restriction
  on property: Variable
  cardinality: 1
subclass of: Restriction
  on property: Term
  cardinality: 1

WFF
type: Class
subclass of: Error8
subclass of: Error9
subclass of: Restriction
  on property: isExplanationOf
  max cardinality: 1
subclass of: Restriction
  on property: WFFContent
  cardinality: 1

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.

Alt
type: Class
subclass of: Container
comment: The class of containers of alternatives.

Bag
type: Class
subclass of: Container
comment: The class of unordered containers.

List
type: Class
subclass of: Resource
comment: The class of RDF Lists.

Property
type: Class
subclass of: Resource
comment: The class of RDF properties.

Seq
type: Class
subclass of: Container
comment: The class of ordered containers.

Statement
type: Class
subclass of: Resource
comment: The class of RDF statements.

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".

nil
comment: 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.

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