Ontology http://www.cs.yale.edu/~dvm/daml/pddlonto.daml

Link

http://www.cs.yale.edu/~dvm/daml/pddlonto.daml (hyperdaml) (dumpont)

Description

PDDL(Planning Domain Definition Language) ontology. Mainly about types declaration, predicates, functions, actions, and axioms of domain. Also about Definition of planning problem and situation.

Point of Contact

Drew McDermott of Yale University CS Department

Submitter

Dejing Dou of Yale University CS&EE Department

Submission Date

2001-11-15

Keywords

PDDL

Open Directory Categories

http://www.daml.org/

Classes

?u
Action
Action-def_body
Action-label_name
Atomic_formula_bag
Axiom
Change
Choice
Constrained
Domain
Expression
Extended_domain_seq
Float
Fluent-test
Foreach
Forsome
Function
Function_bag
In-context
Integer
Number
Obj
Object
ObjectTerm
Object_bag
Parallel
Param
Param_seq
Physob
Predicate
Predicate_bag
Problem
Require-key_bag
Series
Situation
String
Type_seq
Value
When

Properties

action-def
action-label
axiom-def
constants
context
effect
expansion
expression-def
extends
facts
functions
goal
implies
init
length
maintain
objects
parameters
precondition
predicates
problem_domain
problem_situation
require-def
requirements
situation_domain
types
value
vars

Namespaces Used

http://www.daml.org/2001/03/daml+oil
http://www.w3.org/1999/02/22-rdf-syntax-ns
http://www.w3.org/2000/01/rdf-schema

Funding Source

DARPA DAML Program