Ontology for Constraint Satisfaction ProblemHeeCheol Jeon <firstname.lastname@example.org>
From: HeeCheol Jeon <email@example.com>
Subject: Ontology for Constraint Satisfaction Problem
Date: Mon, 6 Mar 1995 08:50:54 -0800 (PST)
X-Mailer: ELM [version 2.4 PL24]
Content-Type: text/plain; charset=US-ASCII
I am a student in Mechanical Engineering.
I want to build ontology for Constraint Satisfaction Problem(CSP) for
Constraint Ontology in Ontolingua(parametric-constraint) is not just fit
my purpose because the parametric-constraint is based on objects, not
on the problem solving. I made more classes,functions,relations for
my purpose based on parametric-constraint but I want to check whether
there is ongoing work for CSP or ontology other than parametric-constraint.
Also I do not believe my work is complete, there must be numerous errors.
How can I check them out? Are there any debugging tools?