00195.owl
type: Ontology
type: NamedIndividual
comment: This ontology describes symbols and relations in PDDL.

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

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

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

http://www.cs.ox.ac.uk/isg/ontologies/UID/00195.owl#?u
type: Class
subclass of: Object
comment: an object with unknown type

Action
type: Class
comment: The class of action definition

Action-def body
type: Class
comment: The class of pddl action-def_body definition

Atomic formula bag
type: Class
subclass of: Bag
subclass of: Restriction
  on property: item
  all values from: Atomic formula
comment: The list of drs:Atomic formula

Axiom
type: Class
comment: The class of axiom definition

Domain
type: Class
comment: The class of domain definition

Extended domain seq
type: Class
subclass of: List
subclass of: Restriction
  on property: item
  all values from: Domain
comment: The list of Domain(s)

Fluent-test
type: Class
subclass of: Formula
comment: The class of fluent-test definition

Function
type: Class
subclass of: Function
comment: The class of pddl function definition used in Evaluation contexts

Function bag
type: Class
subclass of: Bag
subclass of: Restriction
  on property: item
  all values from: Function
comment: The list of drs:Function(s)

Obj
type: Class
comment: Same as Object

Object
type: Class
comment: The super class for all objects

Object bag
type: Class
subclass of: Bag
subclass of: Restriction
  on property: item
  all values from: ObjectTerm
comment: The list of Object Term

Param seq
type: Class
subclass of: List
subclass of: Restriction
  on property: item
  all values from: Param
comment: The list of Parameter(s)

Predicate bag
type: Class
subclass of: Bag
subclass of: Restriction
  on property: item
  all values from: Predicate
comment: The list of Predicate(s)

Problem
type: Class
comment: The class of problem definition

Require-key bag
type: Class
subclass of: Bag
subclass of: Restriction
  on property: item
  all values from: Literal
comment: The list of require-key(s) as Literal

Situation
type: Class
comment: The class of situation definition

Type seq
type: Class
subclass of: List
subclass of: Restriction
  on property: item
  all values from: Type
comment: The list of drs:Type(s)

Atomic formula bag
type: Class
subclass of: Term Bag
subclass of: Restriction
  on property: item
  all values from: Atomic formula
comment: The list of Atomic formula

Prop
type: Class
comment: The class of Propositions

Var bag
type: Class
subclass of: Bag
subclass of: Restriction
  on property: item
  all values from: Var
comment: Bag of Vars

Var seq
type: Class
subclass of: List
subclass of: Restriction
  on property: item
  all values from: Var
comment: The list of Vars

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.

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

Resource
comment: The class resource, everything.

drsonto.daml
type: NamedIndividual
type: Ontology
comment: This ontology describes formulas in logical languages.

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.

comment: Identifies the Class of a resource

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