Ontology for Constraint Satisfaction Problem

HeeCheol Jeon <jhc@cdr.stanford.edu>
From: HeeCheol Jeon <jhc@cdr.stanford.edu>
Message-id: <199503061650.IAA03645@finch.Stanford.EDU>
Subject: Ontology for Constraint Satisfaction Problem
To: ontolingua@HPP.stanford.edu
Date: Mon, 6 Mar 1995 08:50:54 -0800 (PST)
X-Mailer: ELM [version 2.4 PL24]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 688       

  I am a student in Mechanical Engineering. 

  I want to build ontology for Constraint Satisfaction Problem(CSP) for 
  collaborative design.

  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?

Thank you.

Heecheol Jeon