Ontology http://www.cs.yale.edu/~dvm/daml/drsonto.daml
Link
http://www.cs.yale.edu/~dvm/daml/drsonto.daml (hyperdaml) (dumpont)
Description
The ontology about basic logic concepts(Atomic_formula, Connective_formula, Term_seq...)
and their interrelations.
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
drs
logic
http://www.daml.org/
Classes
And
Atomic_formula
Atomic_formula_bag
Binder
Connective_formula
Constant
Constant_bag
Exists
Forall
Formula
Function
Functional_term
Function_skeleton
Implies
Literal
Not
Or
Predicate
Predicate_skeleton
Prop
Term
Term_bag
Term_seq
Type
Var
Var_bag
Var_seq
Properties
antecedent
body
bound_vars
conn_args
consequent
declaration
declare
FunctionDomain
FunctionRange
negated
rdf:object
rdf:predicate
rdf:subject
term_args
term_function
type
value
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
Notes